APA
Orna Grumberg M. H., . (2007). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
Chicago
Orna Grumberg Michael Huth, . 2007. Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
Harvard
Orna Grumberg M. H., . (2007). Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer.
MLA
Orna Grumberg Michael Huth, . Tools and Algorithms for the Construction and Analysis of Systems. Germany: Springer. 2007.