HOOMAN, Jozef, 1991. Specification and Compositional Verification of Real-Time Systems. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 558. ISBN 9783540466024.
Elsevier - Harvard (with titles)Hooman, J., 1991. Specification and Compositional Verification of Real-Time Systems, Lecture Notes in Computer Science, Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54947-1
American Psychological Association 7th editionHooman, J. (ca. 1991). Specification and Compositional Verification of Real-Time Systems [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-54947-1
Springer - Basic (author-date)Hooman J (1991) Specification and Compositional Verification of Real-Time Systems. Springer-Verlag, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Hooman, Jozef, Specification and Compositional Verification of Real-Time Systems, Berlin, Heidelberg 1991.