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: 2.

Journal Article

Demri, Stephane and D'Souza, Deepak and Gascon, Regis (2012) Temporal Logics of Repeating Values. In: JOURNAL OF LOGIC AND COMPUTATION, 22 (5). pp. 1059-1096.

Demri, Stephane and D’Souza, Deepak (2007) An automata-theoretic approach to constraint LTL. In: Information and Computation, 205 (3). pp. 380-415.

This list was generated on Wed Oct 23 11:46:34 2019 IST.