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

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• ISSN: 1433-2787
• Umfang: Online-Ressource
• Sprache: Englisch
• Anmerkungen: online resource.

Verweise und Beziehungen

• Erschienen in: 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

Beteiligte, Orts- und Zeitangaben

• Urheber: Bartocci, Ezio
• Beteiligte Personen und Organisationen: Ramakrishnan, C. R. ; SpringerLink (Online service)

Weitere Informationen

• DOI: 10.1007/s10009-016-0414-5
• URN: urn:nbn:de:1111-2016071111313
• Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Letzte Aktualisierung: 14.08.2025, 10:48 MESZ