Citazione Stile APA (7a Edizione)

Hooman, J. (1991). Specification and compositional verification of real-time systems. Springer.

Citazione stile Chigago Style (17a edizione)

Hooman, J. Specification and Compositional Verification of Real-time Systems. Berlin ; New York: Springer, 1991.

Citatione MLA (8a ed.)

Hooman, J. Specification and Compositional Verification of Real-time Systems. Springer, 1991.