| Original language | English |
|---|---|
| Pages | 19-22 |
| Number of pages | 4 |
| Publication status | Published - 23 Sept 2005 |
| Externally published | Yes |
Keywords
- METIS-225558
Hyperbolic PDE's for CSRL Model Checking: A Deja Vu
L. Cloth, B.R.H.M. Haverkort
Research output: Contribution to conference › Paper › Other research output