Tools and Algorithms for the Construction and Analysis of Systems

MLA

Grumberg, Orna, and Michael Huth. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2007.

APA

Grumberg, O., & Huth, M. (2007). Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg.

Chicago

Grumberg, Orna, and Michael Huth. Tools and Algorithms for the Construction and Analysis of Systems. : Springer Berlin Heidelberg, 2007.