Nugraheni, C. E. (2004). Predicate diagrams as basis for the verification of reactive systems.
Chicago-Zitierstil (17. Ausg.)Nugraheni, Cecilia E. Predicate Diagrams as Basis for the Verification of Reactive Systems. 2004.
MLA-Zitierstil (9. Ausg.)Nugraheni, Cecilia E. Predicate Diagrams as Basis for the Verification of Reactive Systems. 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.