Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation)

Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation)

M. Hague and C.−H. L. Ong

Book Title
SPIN
Note
Submitted tool webpage available here. Latest version available here. Additional material available here.
Year
2010

Links

See Also

Back to Top