Title | Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking |
Publication Type | Artwork |
Year of Publication | 2002 |
Authors | Pinger, R. |
Date Published | February |
Publisher | Technical University Braunschweig, Germany |
Abstract | no |
Public | no |