Search results for: Lakshmi Manasa
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1. Extensions of Timed Automata and Semantics > 78-92
Theory of Computing Systems > 2011 > 48 > 3 > 648-679
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1. Extensions of Timed Automata and Semantics > 78-92
Theory of Computing Systems > 2011 > 48 > 3 > 648-679