Related Books
Language: en
Pages: 377
Pages: 377
Type: BOOK - Published: 2007-09-20 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers wor
Language: en
Pages: 305
Pages: 305
Type: BOOK - Published: 2008-09-05 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint
Language: en
Pages: 266
Pages: 266
Type: BOOK - Published: 2010-08-30 - Publisher: Springer Science & Business Media
This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg
Language: en
Pages: 363
Pages: 363
Type: BOOK - Published: 2011-09-25 - Publisher: Springer
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalbo
Language: en
Pages: 313
Pages: 313
Type: BOOK - Published: 2005-12-13 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2
