Annual Reviews in Control
ISSNs: 1367-5788
Pergamon, United Kingdom
Central database
Journal
Publications
(1)- Published
Specification and Automated Verification of a Real-Time Behaviour : a Case Study
Publication: Research - peer-review › Journal article
ID: 15680570