Seidl, H. (1995). A modal my-calculus for durational transition systems. Univ., Fachbereich IV, Mathematik, Informatik.
Chicago-Zitierstil (17. Ausg.)Seidl, Helmut. A Modal My-calculus for Durational Transition Systems. Trier: Univ., Fachbereich IV, Mathematik, Informatik, 1995.
MLA-Zitierstil (9. Ausg.)Seidl, Helmut. A Modal My-calculus for Durational Transition Systems. Univ., Fachbereich IV, Mathematik, Informatik, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.