APA
Marco Bernardo J. H., . (2007). Formal Methods for Performance Evaluation. Germany: Springer.
Chicago
Marco Bernardo Jane Hillston, . 2007. Formal Methods for Performance Evaluation. Germany: Springer.
Harvard
Marco Bernardo J. H., . (2007). Formal Methods for Performance Evaluation. Germany: Springer.
MLA
Marco Bernardo Jane Hillston, . Formal Methods for Performance Evaluation. Germany: Springer. 2007.