Analysing Mu-Calculus Properties of Pushdown Systems

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16164-3_14 ◽

2010 ◽

pp. 187-192 ◽

Author(s):

Matthew Hague ◽

C. -H. Luke Ong

Download Full-text