Reports of SFB/TR 14 AVACS : AVACS - Automatic Verification and Analysis of Complex Systems
von Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme
2004-
Details anzeigen$$C$$V1860-9821
Werner Damm; Martin Fränzle; Ernst-Rüdiger Olderog
Oldenburg u.a.
Online-Ressource.
Monografische Reihe
und