Testing Transition Systems: An Annotated Bibliography

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

Original language	Undefined
Title of host publication	MOVEP'2k MOdelling and VErification of Parallel processes
Place of Publication	Nantes, France
Pages	44-50
Number of pages	7
Publication status	Published - 21 Feb 2000

Keywords

@inproceedings{a8c8a38049f44769be842ef284363c6b,

title = "Testing Transition Systems: An Annotated Bibliography",

keywords = "METIS-119633",

author = "Hendrik Brinksma and G.J. Tretmans",

year = "2000",

month = feb,

day = "21",

language = "Undefined",

pages = "44--50",

booktitle = "MOVEP'2k MOdelling and VErification of Parallel processes",

}