Vinayak S.prabhu
AuthID: R-001-X50
11
TITLE: Quantifying similarities between timed systems
AUTHORS: Henzinger, TA; Majumdar, R; Prabhu, VS;
PUBLISHED: 2005, SOURCE: 3rd International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3829 LNCS
AUTHORS: Henzinger, TA; Majumdar, R; Prabhu, VS;
PUBLISHED: 2005, SOURCE: 3rd International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3829 LNCS
12
TITLE: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
AUTHORS: Thomas A Henzinger; Marius Minea; Vinayak Prabhu;
PUBLISHED: 2001, SOURCE: Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
AUTHORS: Thomas A Henzinger; Marius Minea; Vinayak Prabhu;
PUBLISHED: 2001, SOURCE: Hybrid Systems: Computation and Control - Lecture Notes in Computer Science