Title: 
Model Checking Software
en
Other Titles: 
20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
en
Editors: 
Bartocci, Ezio 
Ramakrishnan, C.R. 
-
Issue Date: 
2013
-
Citation: 
Bartocci, E., & Ramakrishnan, C. R. (Eds.). (2013). Model Checking Software. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39176-7
-
Series: 
Lecture Notes in Computer Science 
-
Publisher: 
Springer-Verlag Berlin Heidelberg
-
URI: 
http://hdl.handle.net/20.500.12708/23885
-
DOI: 
10.1007/978-3-642-39176-7
-
ISBN: 
9783642391750
9783642391767
-
Organisation: 
E191-01 - Forschungsbereich Cyber-Physical Systems 
-
Publication Type: 
Konferenzband
de
 
Proceedings
en
Appears in Collections:
Proceedings

Show full item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

47
checked on Sep 25, 2022

Google ScholarTM

Check