MANNA, Zohar und PNUELI, Amir, 1992. The temporal logic of reactive and concurrent systems : specification. New York [u.a.]: Springer. ISBN 3540976647.
Elsevier - Harvard (with titles)Manna, Z., Pnueli, A., 1992. The temporal logic of reactive and concurrent systems : specification. Springer, New York [u.a.].
American Psychological Association 7th editionManna, Z., & Pnueli, A. (ca. 1992). The temporal logic of reactive and concurrent systems : specification [Book]. Springer.
Springer - Basic (author-date)Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems : specification. Springer, New York [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Manna, Zohar/ Pnueli, Amir, The temporal logic of reactive and concurrent systems : specification, New York [u.a.] 1992.
Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.