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

AUB Link

@article{aa6974a0809211db8b97000ea68e967b,

title = "Specification and Automated Verification of a Real-Time Behaviour: a Case Study",

author = "Andersen, {J{\o}rgen H.} and Kristensen, {Carsten H.} and Arne Skou",

year = "1996",

language = "English",

volume = "20",

pages = "55--70",

journal = "Annual Reviews in Control",

issn = "1367-5788",

publisher = "Pergamon Press",

}