ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference Paper
Number of items: 2.

Conference Paper

DSouza, Deepak and Raj, Mohan M (2005) Eventual Timed Automata. In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, December 15-18, 2005., Hyderabad, India..

Bouyer, Patricia and Chevalier, Fabrice and DSouza, Deepak (2005) Fault Diagnosis Using Timed Automata. In: 8th International Conference, FOSSACS 2005, April 4-8, 2005., Edinburgh, UK..

This list was generated on Fri Apr 19 17:27:56 2024 IST.
Powered by EPrints A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India