Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings / Étienne André, Mariëlle Stoelinga (eds.).
2019
QA76.9.F67 F67 2019eb
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 : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings / Étienne André, Mariëlle Stoelinga (eds.).
ISBN
9783030296629 (electronic book)
3030296628 (electronic book)
9783030296612
3030296628 (electronic book)
9783030296612
Published
Cham : Springer, [2019]
Copyright
©2019
Language
English
Description
1 online resource : illustrations.
Item Number
10.1007/978-3-030-29662-9 doi
Call Number
QA76.9.F67 F67 2019eb
Dewey Decimal Classification
004.01/51
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 12, 2019).
Added Author
Series
Lecture notes in computer science ; 11750.
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