KROENING, Daniel und STRICHMAN, Ofer, 2010. Decision procedures : an algorithmic point of view. Berlin [u.a.]: Springer. ISBN 9783642093449.
Elsevier - Harvard (with titles)Kroening, D., Strichman, O., 2010. Decision procedures : an algorithmic point of view, Texts in theoretical computer science. an EATCS series. Springer, Berlin [u.a.].
American Psychological Association 7th editionKroening, D., & Strichman, O. (ca. 2010). Decision procedures : an algorithmic point of view [Book]. In Texts in theoretical computer science. an EATCS series. Springer.
Springer - Basic (author-date)Kroening D, Strichman O (2010) Decision procedures : an algorithmic point of view. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Kroening, Daniel/ Strichman, Ofer, Decision procedures : an algorithmic point of view, Berlin [u.a.] 2010.