Original language | English |
---|---|
Journal | Annual Reviews in Control |
Volume | 20 |
Pages (from-to) | 55-70 |
ISSN | 1367-5788 |
Publication status | Published - 1996 |
Specification and Automated Verification of a Real-Time Behaviour: a Case Study
Jørgen H. Andersen, Carsten H. Kristensen, Arne Skou
Research output: Contribution to journal › Journal article › Research › peer-review