Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings

Book information

Year

2017

ISBN

978-3-319-65764-6, 331965764X, 978-3-319-65765-3

Language

english

Format

PDF

Filesize

14 MB (14358109 bytes)

Series

Lecture Notes in Computer Science 10419; LNCS Sublibrary: SL1 - Theoretical Computer Science and General Issues

Pages

351 Se\352

Time added

2018-02-03 10:00:00