Analysing Mu−Calculus Properties of Pushdown Systems (Tool Presentation)
M. Hague and C.−H. L. Ong
Details
| Book Title |
SPIN |
| Note |
Submitted tool webpage available here. Latest version available here. Additional material available here. |
| Year |
2010 |
Links
Related pages
|
People |