Research output per year
Research output per year
| Original language | English |
|---|---|
| Title of host publication | SPIN |
| Publication status | Published - 2010 |
| Event | SPIN - Twente, Netherlands Duration: 27 Sept 2010 → 29 Sept 2010 |
Conference
| Conference | SPIN |
|---|---|
| Country/Territory | Netherlands |
| City | Twente |
| Period | 27/09/10 → 29/09/10 |
Research output
- 1 Article
-
A saturation method for the modal μ-calculus over pushdown systems
Hague, M. & Ong, C.-H., May 2011, In: Information and Computation. 209, 5, p. 799–821Research output: Contribution to journal › Article › peer-review