GODEFROID, Patrice, 1996. Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1032. ISBN 9783540494447.
Elsevier - Harvard (with titles)Godefroid, P., 1996. Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem, Lecture Notes in Computer Science, Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60761-7
American Psychological Association 7th editionGodefroid, P. (ca. 1996). Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-60761-7
Springer - Basic (author-date)Godefroid P (1996) Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem. Springer-Verlag, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Godefroid, Patrice, Partial-Order Methods for the Verification of Concurrent Systems : An Approach to the State-Explosion Problem, Berlin, Heidelberg 1996.