| Original language | Undefined/Unknown |
|---|---|
| Pages | 204-223 |
| Publication status | Published - 2002 |
Towards an Integrated Model Checker for Railway Signalling Data
Michael Huber, Steve King
Research output: Contribution to conference › Paper › peer-review
Michael Huber, Steve King
Research output: Contribution to conference › Paper › peer-review
| Original language | Undefined/Unknown |
|---|---|
| Pages | 204-223 |
| Publication status | Published - 2002 |