Hybrid systems
By: guest editors: A. Pnueli, J. Sifakis.
Contributors: Pnueli, A.; Sifakis, J.
Series: Theoretical computer science -- vol.138 (1)
Publisher: Elsevier
Published: 1995
Place of publication: Amsterdam; Oxford
Language: eng
Notes: Special issue.