Experiences with modelling the USB hub protocol using Spin

D.R. Dams, R.T. Gerth, L.M.G. Feijs, G. Kamsteeg

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Applied formal methods in system design, proceedings of the 2nd International workshop
Redacteuren	I. Lovrek
Pagina's	147-158
Status	Gepubliceerd - 1997

Citeer dit

@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",

}