Developments in testing transition systems

Hendrik Brinksma, A.W. Heerink, G.J. Tretmans

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

Original language	Undefined
Title of host publication	Proceedings 10th IFIP International
Place of Publication	Cheju Island, Korea
Pages	-
Number of pages	24
Publication status	Published - 30 Sept 1997

Keywords

@inproceedings{5285891536594eea8fae01dd5e8e9b77,

title = "Developments in testing transition systems",

keywords = "METIS-120060",

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

year = "1997",

month = sep,

day = "30",

language = "Undefined",

isbn = "0 412 817306",

pages = "--",

booktitle = "Proceedings 10th IFIP International",

}