Author:
Bustan Doron,Grumberg Orna
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Lecture Notes in Computer Science;A. Aziz,1994
2. Aziz, A., Singhal, V., Swamy, G.M., Brayton, R.K.: Minimizing interacting finite state machines: A compositional approach to language containment. In: Proceedings of the International Conference on Computer Design, pp. 255–261 (1994)
3. Bloom, B., Paige, R.: Transformational design and implementation of new efficient solution to the ready simulation problem. Science of Computer Programming 24, 189–220 (1996)
4. Bouajjani, A., Fernandez, J.-C., Halbwachs, N.: Minimal model generation. In: Clarke, E.M., Kurshan, R.P. (eds.) Computer-Aided Verification, New York, pp. 197–203. Springer, Heidelberg (1990)
5. Lecture Notes in Computer Science;A. Bouali,1992
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Z3-Noodler: An Automata-based String Solver;Lecture Notes in Computer Science;2024
2. Simulation Relations and Applications in Formal Methods;Lecture Notes in Computer Science;2022
3. Nested antichains for WS1S;Acta Informatica;2019-01-01
4. Klustree;Proceedings of the ACM India Joint International Conference on Data Science and Management of Data;2018-01-11
5. Nested Antichains for WS1S;Tools and Algorithms for the Construction and Analysis of Systems;2015