Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / David N. Jansen, Pavithra Prabhakar (eds.).
2018
QA76.9.F67
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 : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / David N. Jansen, Pavithra Prabhakar (eds.).
Meeting Name
ISBN
9783030001513 (electronic book)
3030001512 (electronic book)
9783030001506
3030001504
3030001512 (electronic book)
9783030001506
3030001504
Published
Cham, Switzerland : Springer, 2018.
Language
English
Description
1 online resource (x, 289 pages) : illustrations.
Item Number
10.1007/978-3-030-00151-3 doi
Call Number
QA76.9.F67
Dewey Decimal Classification
004.01/51
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 29, 2018).
Added Author
Series
Lecture notes in computer science ; 11022.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Print version: 9783030001506
Linked Resources
Record Appears in