Modeling, Specification and Verification of an Emergency Closing System

@inproceedings{pub1607,
    author = {

Rock, Georg
 and 

Stephan, Werner
 and 

Brodski, Michael
},
    title = {Modeling, Specification and Verification of an Emergency Closing System},
    booktitle = {FLAIRS-2000, Special Track on Verification, Validation and System Certification. International FLAIRS Conference (FLAIRS)},
    year = {2000},
    note = {The 13th International FLAIRS Conference, Orlando, Florida}
}