Actions for Formal modeling and analysis of timed systems [electronic resource] : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings

Email RIS file
Bookmark
Report an Issue

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 and Vaandrager, Frits
Access Online

Availability

I Want It
I Want It

Finding items...

Series
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