Kotmanová, D., & Kolesár, M. Application of model checking to the verification of digital systems.
Chicago Style (17th ed.) CitationKotmanová, Daniela, and Milan Kolesár. Application of Model Checking to the Verification of Digital Systems.
MLA (9th ed.) CitationKotmanová, Daniela, and Milan Kolesár. Application of Model Checking to the Verification of Digital Systems.
Warning: These citations may not always be 100% accurate.
