Decision Procedures

MLA

Kroening, Daniel, et al. Decision Procedures. Springer Berlin Heidelberg, 2008.

APA

Kroening, D., Brauer, W., Hromkovič, J., Strichman, O., Bryant, R. E, & Rozenberg, G. (2008). Decision Procedures. Springer Berlin Heidelberg.

Chicago

Kroening, Daniel, W Brauer, J Hromkovič, Ofer Strichman, R. E Bryant, and G Rozenberg. Decision Procedures. : Springer Berlin Heidelberg, 2008.