Principles of Model Checking | BibSonomy

Beschreibung

MR: Gute und breite Einführung in die Thematik des Model Checking und formaler Ansätze.

Links und Ressourcen

URL:
BibTeX-Schlüssel:
Baier2008
Suchen auf:

Kommentare und Rezensionen  
(0)

Es gibt bisher keine Rezension oder Kommentar. Sie können eine schreiben!

Tags


Zitieren Sie diese Publikation