Author:
Bustan Doron,Grumberg Orna
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference30 articles.
1. A. Aziz, V. Singhal, T.R. Shiple, A.L. Sangiovanni-Vincentelli, F. Balarin, R.K. Brayton, Equivalences for fair kripke structures, in: ICALP, volume 840 of LNCS, 1994, pp. 364–375
2. S. Bensalem, A. Bouajjani, C. Loiseaux, J. Sifakis, Property preserving simulations, in: Proceedings of the 4th Conference on Computer Aided Verification, volume 663 of Lecture Notes in Computer Science, Montreal, Springer-Verlag, Berlin, 1992, pp. 260–273
3. Characterizing finite kripke structures in propositional temporal logic;Browne;Theoretical Computer Science,1988
4. D. Bustan, Equivalence-based reductions and checking for preorders, PhD thesis, Technion, Haifa, Israel, 2002
5. Simulation based minimization;Bustan;Conference on Automated Deduction,2000
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献