APA (7th ed.) Citation

Nugraheni, C. E. (2004). Predicate diagrams as basis for the verification of reactive systems (Als Typoskript gedr.). Hieronymus.

Chicago Style (17th ed.) Citation

Nugraheni, Cecilia E. Predicate Diagrams as Basis for the Verification of Reactive Systems. Als Typoskript gedr. München: Hieronymus, 2004.

MLA (9th ed.) Citation

Nugraheni, Cecilia E. Predicate Diagrams as Basis for the Verification of Reactive Systems. Als Typoskript gedr. Hieronymus, 2004.