Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings


Book Informaton

Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings

Author

Maurice H. ter Beek; Dejan Ničković

Series

Lecture Notes in Computer Science

Volume

12327

Year of Publication

1st ed. 2020

Publisher

Springer International Publishing

Pages

XXII, 289

Language

en

ISBN

9783030582975, 9783030582982

ARI Id

1665271886350


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 19 of 19 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xxii
1-1
3-69
71-71
73-92
93-112
113-129
130-147
149-149
151-169
170-188
189-209
210-227
229-229
231-251
252-271
272-287
C1-C1
289-289
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 19 of 19 entries