- LNCS1032
- -P. Godefroid: Partial-Order Methode for the Verification of Concurrent Systems, Springer-Verlag 1996
Acronyms. 2013.
Acronyms. 2013.
LNCS1032 — P. Godefroid: Partial Order Methode for the Verification of Concurrent Systems, Springer Verlag 1996 … Acronyms von A bis Z