Цитирование APA (7-е изд.)

Drechsler, R. (2000). Formal verification of circuits. Kluwer Academic Pub.

Цитирование в стиле Чикаго (17-е изд.)

Drechsler, Rolf. Formal Verification of Circuits. Boston, MA: Kluwer Academic Pub, 2000.

Цитирование MLA (8-е изд.)

Drechsler, Rolf. Formal Verification of Circuits. Kluwer Academic Pub, 2000.

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.