Browse by Author

Group by: Item Type | No Grouping

Number of items: 1.

Book Chapter

Souza, Deepak D and Tabareau, Nicolas (2004) On Timed Automata with Input-Determined Guards. [Book Chapter]

This list was generated on Wed Apr 24 17:55:28 2024 IST.


	Powered by EPrints		A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India

Export as	Atom RSS 1.0 RSS 2.0