GODEFROID, Patrice, 1996. Partial order methods for the verification of concurrent systems : an approach to the state explosion problem. Berlin [u.a.]: Springer. Lecture notes in computer science, 1032. ISBN 3540607617.
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, Berlin [u.a.].
American Psychological Association 7th editionGodefroid, P. (ca. 1996). Partial order methods for the verification of concurrent systems : an approach to the state explosion problem [Book]. In Lecture notes in computer science. Springer.
Springer - Basic (author-date)Godefroid P (1996) Partial order methods for the verification of concurrent systems : an approach to the state explosion problem. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Godefroid, Patrice, Partial order methods for the verification of concurrent systems : an approach to the state explosion problem, Berlin [u.a.] 1996.