Josko, B. R. M. M. (1986). Modelchecking of CTL formulae under liveness assumptions. Rhein.-Westfäl. Techn. Hochsch.
Chicago-Zitierstil (17. Ausg.)Josko, Bernhard Rudolf Martin Maria. Modelchecking of CTL Formulae Under Liveness Assumptions. Aachen: Rhein.-Westfäl. Techn. Hochsch, 1986.
MLA-Zitierstil (9. Ausg.)Josko, Bernhard Rudolf Martin Maria. Modelchecking of CTL Formulae Under Liveness Assumptions. Rhein.-Westfäl. Techn. Hochsch, 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.