 |
 |
|
|
 |
|
|
|
1 - 10 von 10
|
|
 |
Ihre Aktion |
Suchen (Schlagwörter GND (Phrase) (XSP)) verification
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
|
|
|
|
4. |
A Survey of Verification Techniques for Parallel Programs
Barringer, Howard *1951-*. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1985
|
|
|
|
5. |
A survey of verification techniques for parallel programs
Barringer, Howard. - Online-Ausg.. - Berlin [u.a.] : Springer, 1985
|
|
|
|
6. |
Seminar on Concurrency : Carnegie-Mellon University, Pittsburgh, PA, July 9 - 11, 1984
Brookes, Stephen D.. - Berlin : Springer, 1985
|
|
|
|
7. |
A survey of verification techniques for parallel programs
Barringer, Howard *1951-*. - Berlin : Springer, 1985
|
|
|
|
8. |
Verifying Concurrent Processes Using Temporal Logic
Hailpern, B. T.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1982
|
|
|
|
9. |
Verifying concurrent processes using temporal logic
Hailpern, Brent T.. - Online-Ausg.. - Berlin [u.a.] : Springer, 1982
|
|
|
|
10. |
Verifying concurrent processes using temporal logic
Hailpern, Brent T.. - Berlin : Springer, 1982
|
|
|
|
|
|
|
1 - 10 von 10
|
|
| Wort |
|
Typ |
|
Anzahl |
|---|
|
| verification |
|
Schlagwörter GND (Phrase) (XSP) |
|
418 |
| 54.25 |
|
Basisklassifikation (XBKL) |
|
347 |
|
|
|
|
|
|
|
1 - 10 von 10
|
|
|
