Model checking software
19th international workshop : proceedings
Gespeichert in:
Verfasser / Beitragende:
SPIN 2012, Oxford, UK, July 23-24, 2012 ; Alastair Donaldson ... [et al.] (eds.)
Ort, Verlag, Jahr:
Heidelberg :
Springer,
2012
Beschreibung:
Online-Ressource
Format:
Buch (Kongress) (online)
Online Zugang: