Model checking software

19th international workshop : proceedings

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:
ID: 192896423

Keine Exemplare vorhanden

Es sind keine Exemplare vorhanden