Publisher
American Mathematical
Society
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. M3C: Modal Meta Model Checking;Formal Methods for Industrial Critical Systems;2018
2. Verification with the Undefined;Electronic Notes in Theoretical Computer Science;2003-08
3. Automated validation of distributed software using the IF environment;Electronic Notes in Theoretical Computer Science;2001-10
4. The state explosion problem;Lectures on Petri Nets I: Basic Models;1998
5. Visual verification of safety and liveness;FME'96: Industrial Benefit and Advances in Formal Methods;1996