Tapken, J. (2001). Model-checking of duration calculus specifications. Univ.
Chicago-Zitierstil (17. Ausg.)Tapken, Josef. Model-checking of Duration Calculus Specifications. Oldenburg: Univ, 2001.
MLA-Zitierstil (9. Ausg.)Tapken, Josef. Model-checking of Duration Calculus Specifications. Univ, 2001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.