Vinayak S.prabhu
AuthID: R-001-X50
11
TÃTULO: Quantifying similarities between timed systems
AUTORES: Henzinger, TA; Majumdar, R; Prabhu, VS;
PUBLICAÇÃO: 2005, FONTE: 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
AUTORES: Henzinger, TA; Majumdar, R; Prabhu, VS;
PUBLICAÇÃO: 2005, FONTE: 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
TÃTULO: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
AUTORES: Thomas A Henzinger; Marius Minea; Vinayak Prabhu;
PUBLICAÇÃO: 2001, FONTE: Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
AUTORES: Thomas A Henzinger; Marius Minea; Vinayak Prabhu;
PUBLICAÇÃO: 2001, FONTE: Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
