APA (7th ed.) Citation

Josko, B. R. M. M. (1986). Modelchecking of CTL formulae under liveness assumptions. Rhein.-Westfäl. Techn. Hochsch.

Chicago Style (17th ed.) Citation

Josko, Bernhard Rudolf Martin Maria. Modelchecking of CTL Formulae Under Liveness Assumptions. Aachen: Rhein.-Westfäl. Techn. Hochsch, 1986.

MLA (9th ed.) Citation

Josko, Bernhard Rudolf Martin Maria. Modelchecking of CTL Formulae Under Liveness Assumptions. Rhein.-Westfäl. Techn. Hochsch, 1986.