Home Advanced Search

Advanced Search - Page 1

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Thomas A. Henzinger, Vinayak S. Prabhu (auth.), Eugene Asarin, Patricia Bouyer (eds.)
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings
  • DJVU
  • English
  • Year: 1998
  • Author: Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (eds.)
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers
  • PDF
  • English
  • Year: 2004
  • Author: Eugene Asarin (auth.), Kim Guldstrand Larsen, Peter Niebert (eds.)
Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Eugene Asarin (auth.), Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Eugene Asarin (auth.), Adrian-Horia Dediu, Carlos Martín-Vide (eds.)
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)
Hybrid Systems II
  • DJVU
  • English
  • Year: 1995
  • Author: Eugene Asarin, Oded Maler, Amir Pnueli (auth.), Panos Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (eds.)
Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Patricia Bouyer, Nicolas Markey, Ocan Sankur (auth.), Parosh Aziz Abdulla, Igor Potapov (eds.)
search