It looks like you're offline.
Donate
♥
English (en)
العربية (ar)
Čeština (cs)
Deutsch (de)
English (en)
Español (es)
Français (fr)
हिंदी (hi)
Hrvatski (hr)
Italiano (it)
Português (pt)
Română (ro)
Sardu (sc)
తెలుగు (te)
Українська (uk)
中文 (zh)
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
All
All
Title
Author
Text
Subject
Lists
Advanced
Log In
Sign Up
My Open Library
Log In
Sign Up
Browse
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Contribute
Add a Book
Recent Community Edits
Resources
Help & Support
Developer Center
Librarians Portal
My Books
Browse
Menu
Subjects
Trending
Library Explorer
Lists
Collections
K-12 Student Library
Book Talks
Random Book
Advanced Search
Last edited by
ImportBot
July 28, 2014 |
History
Edit
Joël Ouaknine
1 work
Add another?
Details
Grid
— Show
only ebooks
?
Preview
Preview Book
×
Close
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
by
Joël Ouaknine
First published in 2009
1 edition
,
1 ebook
Locate
✓
Add to List
Remove From Shelf
Want to Read
Currently Reading
Already Read
My Reading Lists:
Create a new list
Create a new list
×
Close
Name:
Description:
Create new list
Cancel
Subjects
Algebra
Computer science
Computer simulation
Congresses
Data processing
Echtzeitsystem
Formal methods (Computer science)
Formale Methode
Hybrides System
Information theory
Kongress
Logic design
Machine theory
Model Checking
Robots
Software engineering
Temporal automata
Temporale Logik
Zeitbehafteter Automat
Zeitbewertetes Petri-Netz
Zeitdiskretes System
Add to List
My Reading Lists:
Create a new list
ID Numbers
OLID: OL7200302A
Links
outside Open Library
No links yet.
Add one
?
Download catalog record:
RDF
/
JSON
