APA (7th ed.) Citation

Kotmanová, D. Simulation and verification of digital systems with NuSMV.

Chicago Style (17th ed.) Citation

Kotmanová, Daniela. Simulation and Verification of Digital Systems with NuSMV.

MLA (9th ed.) Citation

Kotmanová, Daniela. Simulation and Verification of Digital Systems with NuSMV.

Warning: These citations may not always be 100% accurate.