BURKART, Olaf, 1997. Automatic verification of sequential infinite state processes. Berlin [u.a.]: Springer. Lecture notes in computer science, 1354. ISBN 3540639829.
Elsevier - Harvard (with titles)Burkart, O., 1997. Automatic verification of sequential infinite state processes, Lecture notes in computer science, Lecture notes in computer science. Springer, Berlin [u.a.].
American Psychological Association 7th editionBurkart, O. (ca. 1997). Automatic verification of sequential infinite state processes [Book]. In Lecture notes in computer science. Springer.
Springer - Basic (author-date)Burkart O (1997) Automatic verification of sequential infinite state processes. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Burkart, Olaf, Automatic verification of sequential infinite state processes, Berlin [u.a.] 1997.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.