Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems

 
: Ochsenschläger, P.; Repp, J.; Rieke, R.; Nitsche, U.

Formal aspects of computing 10 (1998), S.381-404
ISSN: 0934-5043
Englisch
Zeitschriftenaufsatz
Fraunhofer SIT ()

: http://publica.fraunhofer.de/dokumente/N-212290.html