APA
Holger Hermanns J. P., . (2006). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
Chicago
Holger Hermanns Jens Palsberg, . 2006. Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
Harvard
Holger Hermanns J. P., . (2006). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
MLA
Holger Hermanns Jens Palsberg, . Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer. 2006.