Location & Availability for: Formal modeling and analysis of timed sy

 Staff view

You must be logged in to Tag Records

Formal modeling and analysis of timed systems [electronic resource] : 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings /

Krishnendu Chatterjee, Thomas A. Henzinger (eds.).

Book Cover
Names: Chatterjee, Krishnendu. | Henzinger, T. A.
Published: Berlin : Springer, 2010.
Series: Lecture notes in computer science ; 6246.
LNCS sublibrary. SL 1 Theoretical computer science and general issues.
Topics: Computer simulation - Congresses. | Temporal automata - Congresses. | Formal methods (Computer science) - Congresses.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Formal modeling and analysis of timed sy