Refusal Testing for Classes of Transition Systems

A.W. Heerink, G.J. Tretmans

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Keywords

@inproceedings{ee6e1bf9bb1f4214b714529aad94a30f,

title = "Refusal Testing for Classes of Transition Systems",

keywords = "METIS-120058",

author = "A.W. Heerink and G.J. Tretmans",

year = "1997",

month = nov,

day = "18",

language = "Undefined",

isbn = "0-412-82060-9",

pages = "23--38",

booktitle = "FORTE/PSTV, Chapman & Hall",

}