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
Number of items: 1.

Conference Paper

Divakaran, Sumesh and Mohan, Raj M (2010) Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic. In: 2010 17th International Symposium on Temporal Representation and Reasoning (TIME), 6-8 Sept. 2010, Paris.

This list was generated on Fri Apr 19 20:50:06 2024 IST.