Formal modeling and analysis of timed systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings / Martin Fränzle, Nicolas Markey (eds.).
2016
QA76.9.C65 F67 2016eb
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal modeling and analysis of timed systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings / Martin Fränzle, Nicolas Markey (eds.).
Meeting Name
ISBN
9783319448787 (electronic book)
3319448781 (electronic book)
9783319448770
3319448773
3319448781 (electronic book)
9783319448770
3319448773
Published
Switzerland : Springer, 2016.
Language
English
Description
1 online resource (xii, 245 pages) : illustrations (chiefly color).
Call Number
QA76.9.C65 F67 2016eb
Dewey Decimal Classification
003/.3
Bibliography, etc. Note
Includes bibliographical references and author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 25, 2016).
Series
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Lecture notes in computer science ; 9884.
Lecture notes in computer science ; 9884.
Available in Other Form
Print version: 3319448773
Linked Resources
Record Appears in