Formal modeling and analysis of timed systems [electronic resource] : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.).
- Conference Author:
- FORMATS (Conference) (7th : 2009 : Budapest, Hungary)
- Published:
- Berlin ; New York : Springer, 2009.
- Physical Description:
- 1 online resource (x, 290 pages) : illustrations
- Additional Creators:
- Ouaknine, Joël
Vaandrager, Frits - Access Online:
- ezaccess.libraries.psu.edu
- Series:
- Lecture notes in computer science, 5813
- Subject(s):
- ISBN:
- 9783642043680
3642043682
3642043674
9783642043673 - Note:
- AVAILABLE ONLINE TO AUTHORIZED PSU USERS.
- Bibliography Note:
- Includes bibliographical references and index.
View MARC record | catkey: 5795981