 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 3 von 3 |
| ||
 |
Ihre Aktion | Suchen (Schlagwörter GND (Phrase) (XSP)) halbordnung eingrenzen (Basisklassifikation (XBKL)) 54.25 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem Godefroid, Patrice. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1996 |
|
| |||
|
2. |
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem Godefroid, Patrice. - Online-Ausg.. - Berlin [u.a.] : Springer, 1996 |
|
| |||
 |
3. |
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem Godefroid, Patrice. - Berlin : Springer, 1996 |
|
| |||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||
|
1 - 3 von 3 |
|
|
|
1 - 3 von 3 |
|
|||||||||||||||||||||||||