APA Style
Graf, Susanne, Mounier, Laurent. (2004).
Model Checking software .
Berlin, German:
Springer Science Business Media.
Chicago Style
Graf, Susanne, Mounier, Laurent.
Model Checking software.
Berlin, German:
Springer Science Business Media,
2004.
E-Book Teknik Informatika.
MLA Style
Graf, Susanne, Mounier, Laurent.
Model Checking software.
Berlin, German:
Springer Science Business Media,
2004.
E-Book Teknik Informatika.
Turabian Style
Graf, Susanne, Mounier, Laurent.
Model Checking software.
Berlin, German:
Springer Science Business Media,
2004.
E-Book Teknik Informatika.