Search results for: P. Vijay Suman
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 728-739
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1. Extensions of Timed Automata and Semantics > 78-92