Journal article icon

Journal article

A Saturation Method for the Modal Mu−Calculus over Pushdown Systems

Actions


Access Document


Files:
Publisher copy:
10.1016/j.ic.2010.12.004

Authors


C.−H.L. Ong More by this author
Journal:
Information and Computation
Publication date:
2010
DOI:
URN:
uuid:9f514d62-c359-4981-9eaa-46f428517a22
Local pid:
cs:3447

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP