Research Catalog

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, (eds.).

Title
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, (eds.).
Author
FORMATS (Conference) (7th : 2009 : Budapest, Hungary)

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.9.C65 F676 2009gOff-site

Details

Additional Authors
  • Ouaknine, Joël.
  • Vaandrager, Frits.
Description
x, 290 p. : ill.; 24 cm.
Series Statement
Lecture notes in computer science ; 5813
Subject
  • Computer simulation > Congresses
  • Formal methods (Computer science) > Congresses
  • Robots > Congresses
  • Temporal automata > Congresses
ISBN
  • 3642043674
  • 9783642043673
LCCN
2009934015
Owning Institutions
Columbia University Libraries