MoXIchecker: An Extensible Model Checker for MoXI
Journal
Lecture Notes in Computer Science
Start Page
1-14
ISSN
0302-9743
1611-3349
ISBN
9783031866944
9783031866951
Date Issued
2025
Author(s)
Publisher
Springer Nature Switzerland
Type
conference paper not in proceedings