E. Asarin

2 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Challenges in Timed Languages
E. Asarin (2004) · Bulletin of EATCS 83
Symbolic controller synthesis for discrete and timed systems
E. Asarin and others (1995) · Springer Berlin Heidelberg