Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings


Book Informaton

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Author

Martin Fränzle; Nicolas Markey

Series

Lecture Notes in Computer Science

Volume

9884

Year of Publication

1st ed. 2016

Publisher

Springer International Publishing

Pages

XII, 245

Language

EN

ISBN

9783319448770, 9783319448787

ARI Id

1665060937522


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XII
1-1
3-18
19-34
35-50
51-51
53-68
69-84
85-101
103-103
105-120
121-139
140-156
157-173
175-175
177-194
195-210
211-227
228-244
245-245
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries