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: Book Chapter | Conference Paper
Number of items: 2.

Book Chapter

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

Conference Paper

Chakraborty, Joy and Souza, Deepak D and Narayan Kumar, K (2010) Analysing Message Sequence Graph Specifications. In: Proceedings of 4th International Symposium on Leveraging Applications of Formal Methods ISoLA) 2010, LNCS 6415, 2010.

This list was generated on Thu Apr 25 09:55:11 2024 IST.
Powered by EPrints A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India