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

Browse by Journal / Conference

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 1.

D’Souza, Deepak and Matteplackel, Raj Mohan (2012) Compositional hierarchical monitoring automaton construction for LTL. In: Proceedings of 9th International Colloquium, September 24-27, 2012, Bangalore, India, pp. 16-29.

This list was generated on Sun Jan 16 16:48:13 2022 IST.