SPIN model checking and software verification ; proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International SPIN Workshop
Weitere Verfasser: Havelund, Klaus (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin Springer 2000
Schriftenreihe:Lecture notes in computer science 1885
Schlagworte:
Online Zugang:Vorwort
Cover
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!