Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)

Logic and Automata,2008, 引用: 82

integrated formal methods,2012, 引用: 2

Computer Aided Verification,2004, 引用: 29

automated technology for verification and analysis,2011, 引用: 42

,2012, 引用: 0

integrated formal methods,2013, 引用: 1

foundations of software technology and theoretical computer science,1999, 引用: 84

automated technology for verification and analysis,2008, 引用: 13

symposium on theoretical aspects of computer science,2000, 引用: 411

Lecture Notes in Computer Science,2009, 引用: 2