Author:
Etessami Kousha,Holzmann Gerard J.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lect Notes Comput Sci;M. Daniele,1999
2. D. L. Dill, A. J. Hu, and H. Wong-Toi. Checking for language inclusion using simulation relations. In Proceedings of CAV’91, pages 329–341, 1991.
3. E. A. Emerson. Temporal and modal logics. In J. van Leeuwen, editor, Handbook of Theo. Comp. Sci., volume B, pages 995–1072. Elsevier, 1990.
4. H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.
5. K. Etessami. Stutter-invariant languages, ω-automata, and temporal logic. In Proceedings of the 11th International Conference on Computer Aided Verification, pages 236–248, 1999.
Cited by
89 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Tighter Construction of Tight Büchi Automata;Lecture Notes in Computer Science;2024
2. Dissecting ltlsynt;Formal Methods in System Design;2023-07-14
3. From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata;International Journal on Software Tools for Technology Transfer;2022-07-23
4. LTL Under Reductions with Weaker Conditions Than Stutter Invariance;Formal Techniques for Distributed Objects, Components, and Systems;2022
5. Effective Reductions of Mealy Machines;Formal Techniques for Distributed Objects, Components, and Systems;2022