Author:
Courcoubetis C.,Vardi M.,Wolper P.,Yannakakis M.
Publisher
American Mathematical
Society
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. TSTL: the template scripting testing language;International Journal on Software Tools for Technology Transfer;2016-12-02
2. Minimization of Counterexamples in SPIN;Model Checking Software;2004
3. Effective Lossy Queue Languages;Automata, Languages and Programming;2001
4. Exploiting symmetry in linear time temporal logic model checking: One step beyond;Tools and Algorithms for the Construction and Analysis of Systems;1998
5. A non-standard semantics for generating reduced transition systems;Analysis and Verification of Multiple-Agent Languages;1997