Author:
Boyer Robert,Moore J Strother
Publisher
American Mathematical Society
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. State of the Art on Formal Methods for Interactive Systems;Human–Computer Interaction Series;2017
2. Model Checking and Abstraction;Lecture Notes in Computer Science;2002
3. Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip;Applied Formal Methods — FM-Trends 98;1999
4. A laboratory for a digital design course using FPGAs;Field-Programmable Logic Architectures, Synthesis and Applications;1994
5. The problem of induction;Journal of Automated Reasoning;1993