Author:
Farzan Azadeh,Meseguer José
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Lecture Notes in Computer Science;R. Alur,1997
2. Lecture Notes in Computer Science;S. Blom,2002
3. Browne, M.C., Clarke, E.M., Grumberg, O.: Characterizing finite kripke structures in propositional temporal logic. Theoretical Computer Science 59, 115–131 (1988)
4. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems 16(5), 1512–1542 (1994)
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Checking Parameterized by the Semantics in Maude;Functional and Logic Programming;2018
2. Specifying and Analyzing the Kademlia Protocol in Maude;Theoretical Aspects of Computing - ICTAC 2015;2015
3. Language Definitions as Rewrite Theories;Rewriting Logic and Its Applications;2014
4. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10
5. Proving Safety Properties of Rewrite Theories;Algebra and Coalgebra in Computer Science;2011