HOOMAN, Jozef, 1991. Specification and compositional verification of real time systems. Berlin [u.a.]: Springer. Lecture notes in computer science, 558. ISBN 3540549471.
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, Berlin [u.a.].
American Psychological Association 7th editionHooman, J. (ca. 1991). Specification and compositional verification of real time systems [Book]. In Lecture notes in computer science. Springer.
Springer - Basic (author-date)Hooman J (1991) Specification and compositional verification of real time systems. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Hooman, Jozef, Specification and compositional verification of real time systems, Berlin [u.a.] 1991.