Advertisement

Formal Modeling and Analysis of Timed Systems

7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

  • Joël Ouaknine
  • Frits W. Vaandrager
Conference proceedings FORMATS 2009

Part of the Lecture Notes in Computer Science book series (volume 5813)

Table of contents

  1. Front Matter
  2. Nikolaj Bjørner, Leonardo de Moura
    Pages 1-6
  3. Eugene Asarin, Aldric Degorre
    Pages 13-27
  4. Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux
    Pages 28-42
  5. Anne Bouillard, Stefan Haar, Sidney Rosario
    Pages 43-57
  6. Víctor Braberman, Diego Garbervestky, Nicolás Kicillof, Daniel Monteverde, Alfredo Olivero
    Pages 58-72
  7. Peter Bulychev, Thomas Chatain, Alexandre David, Kim G. Larsen
    Pages 73-87
  8. Ashish Chiplunkar, Shankara Narayanan Krishna, Chinmay Jain
    Pages 88-102
  9. Christian Colombo, Gordon J. Pace, Gerardo Schneider
    Pages 103-117
  10. Cătălin Dima, Ruggero Lanotte
    Pages 118-132
  11. Laurent Doyen, Gilles Geeraerts, Jean-Francois Raskin, Julien Reichert
    Pages 133-148
  12. Pierre Ganty, Rupak Majumdar
    Pages 164-178
  13. Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer
    Pages 195-211
  14. Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 212-227
  15. Matthias Woehrle, Kai Lampka, Lothar Thiele
    Pages 275-290
  16. Back Matter

About these proceedings

Editors and affiliations

  • Joël Ouaknine
    • 1
  • Frits W. Vaandrager
    • 2
  1. 1.Computing LaboratoryOxford UniversityOxfordUK
  2. 2.Institute for Computing and Information Sciences Radboud University Nijmegen NijmegenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-04368-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • Print ISBN 978-3-642-04367-3
  • Online ISBN 978-3-642-04368-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site