2 options
Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.).
LIBRA QA76.9.C65 F676 2005
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- FORMATS 2005 (2005 : Uppsala, Sweden)
- Series:
- Lecture notes in computer science 0302-9743 ; 3829.
- Lecture notes in computer science, 0302-9743 ; 3829
- Language:
- English
- Subjects (All):
- Computer simulation--Congresses.
- Computer simulation.
- Temporal automata--Congresses.
- Temporal automata.
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Machine theory--Congresses.
- Machine theory.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- ix, 303 pages : illustrations ; 24 cm.
- Other Title:
- FORMATS 2005
- Place of Publication:
- Berlin ; New York : Springer, [2005]
- Notes:
- Includes bibliographical references and index.
- ISBN:
- 3540309462
- OCLC:
- 63107695
- Publisher Number:
- 9783540309468
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.