Treffer: Model Checking of Asbru
Titel:
Model Checking of Asbru / Andriy Dunets ; Simon Bäumler ; Arjen Hommersom ; Wolfgang Reif
Beteiligt:
Veröffentlicht:
Augsburg : Universität Augsburg, 2009
Umfang:
Online-Ressource
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Reports / Technische Berichte der Fakultät für Angewandte Informatik der Universität Augsburg ; 2009-14