Formal modeling and analysis of timed systems [electronic resource] : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings / Axel Legay, Marius Bozga (eds.).
2014
QA76.9.C65
Linked e-resources
Linked Resource
Details
Title
Formal modeling and analysis of timed systems [electronic resource] : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings / Axel Legay, Marius Bozga (eds.).
Meeting Name
ISBN
9783319105123 electronic book
3319105124 electronic book
9783319105116
3319105124 electronic book
9783319105116
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (x, 253 pages) : illustrations.
Item Number
10.1007/978-3-319-10512-3 doi
Call Number
QA76.9.C65
Dewey Decimal Classification
003/.3
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Description based on online resource; title from PDF title page (SpringerLink, viewed August 26, 2014).
Added Author
Series
Lecture notes in computer science ; 8711.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Record Appears in