Experiences with modelling the USB hub protocol using Spin

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

Original language	English
Title of host publication	Applied formal methods in system design, proceedings of the 2nd International workshop
Editors	I. Lovrek
Pages	147-158
Publication status	Published - 1997

Cite this

@inproceedings{7b65c14dc31846e4b0d0a3de5295e6ad,

title = "Experiences with modelling the USB hub protocol using Spin",

author = "D.R. Dams and R.T. Gerth and L.M.G. Feijs and G. Kamsteeg",

year = "1997",

language = "English",

pages = "147--158",

editor = "I. Lovrek",

booktitle = "Applied formal methods in system design, proceedings of the 2nd International workshop",

}