Behaviour Analysis and Safety Conditions:  A Case Study in CML

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Conference	Proc. FASE'98
Period	01/01/1998 → …

OpenUrl availability

@inproceedings{84562206417249edb58d1a6590dfbbd9,

title = "Behaviour Analysis and Safety Conditions: A Case Study in CML",

author = "Nielson, \{Hanne Riis\} and T. Amtoft and Flemming Nielson",

year = "1998",

language = "English",

pages = "255--269",

booktitle = "Proc. FASE'98",

publisher = "Springer Verlag",

address = "Germany",

note = "Proc. FASE'98 ; Conference date: 01-01-1998",

}