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