Czerner, P., Esparza, J., & Winslow, K. (2026). iSMC: A BDD-based Symbolic Model Checker with Interactive Certification.
Chicago Style (17th ed.) CitationCzerner, Philipp, Javier Esparza, and Konrad Winslow. ISMC: A BDD-based Symbolic Model Checker with Interactive Certification. 2026.
MLA (9th ed.) CitationCzerner, Philipp, et al. ISMC: A BDD-based Symbolic Model Checker with Interactive Certification. 2026.
Warning: These citations may not always be 100% accurate.