Gaya APA
Nugraheni, Cecilia Esti, Kroger, Fred, Merz, Stephan. (2004).
Predicate diagrams as basis for the verification of reactive systems .
Munchen:
Fakultat fur Mathematik, Informatik und Statistik der Ludwig-Maxmilians-Universitat Munchen.
Gaya Chicago
Nugraheni, Cecilia Esti, Kroger, Fred, Merz, Stephan.
Predicate diagrams as basis for the verification of reactive systems.
Munchen:
Fakultat fur Mathematik, Informatik und Statistik der Ludwig-Maxmilians-Universitat Munchen,
2004.
Text.
Gaya MLA
Nugraheni, Cecilia Esti, Kroger, Fred, Merz, Stephan.
Predicate diagrams as basis for the verification of reactive systems.
Munchen:
Fakultat fur Mathematik, Informatik und Statistik der Ludwig-Maxmilians-Universitat Munchen,
2004.
Text.
Gaya Turabian
Nugraheni, Cecilia Esti, Kroger, Fred, Merz, Stephan.
Predicate diagrams as basis for the verification of reactive systems.
Munchen:
Fakultat fur Mathematik, Informatik und Statistik der Ludwig-Maxmilians-Universitat Munchen,
2004.
Print.