scientific article

From MaRDI portal

Publication:2766658

Jump to:navigation, search

zbMath0986.68050MaRDI QIDQ2766658

Michaël Adlaïde, Olivier H. Roux

Publication date: 17 June 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45)

Related Items (1)

Polynomial interrupt timed automata: verification and expressiveness

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2766658&oldid=15644974"