Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of Software

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• ISSN: 1433-2787
• Extent: Online-Ressource
• Language: Englisch
• Notes: online resource.

References and Relationships

• Bibliographic citation: Preface of the special issue on Model Checking of Software ; volume:18 ; number:4 ; day:10 ; month:2 ; year:2016 ; pages:355-357 ; date:8.2016 ; International journal on software tools for technology transfer ; 18, Heft 4 (10.2.2016), 355-357, 8.2016

Contributors, Places and Time

• Creator: Bartocci, Ezio
• Contributor: Ramakrishnan, C. R. ; SpringerLink (Online service)

Further information

• DOI: 10.1007/s10009-016-0414-5
• URN: urn:nbn:de:1111-2016071111313
• Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 14.08.2025, 10:48 AM CEST