Xspin/Project - Integrated Validation Management for Xspin

T.C. Ruys

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

Original language	Undefined
Title of host publication	Proceedings of the 5th and 6th International SPIN Workshop: Theoretical and Practical Aspects of SPIN Model Checking
Place of Publication	Toulouse, France
Pages	108-119
Number of pages	12
Publication status	Published - 11 Feb 1999

Keywords

@inproceedings{de8df3d6c9dd44e7ab9b2ede9baa9536,

title = "Xspin/Project - Integrated Validation Management for Xspin",

keywords = "METIS-119602",

author = "T.C. Ruys",

year = "1999",

month = feb,

day = "11",

language = "Undefined",

pages = "108--119",

booktitle = "Proceedings of the 5th and 6th International SPIN Workshop: Theoretical and Practical Aspects of SPIN Model Checking",

}