.gif)
Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking
| 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 |