IC design validation using Message Sequence Charts

H.P.E. Vranken, T. Garcia, S. Mauw, L.M.G. Feijs

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Original languageEnglish
Title of host publication26th Euromicro Conference (Maastricht, The Netherlands, September 5-7, 2000; DSD'2000)
PublisherIEEE Computer Society
Pages122-127
Volume1
ISBN (Print)0-7695-0780-8
DOIs
Publication statusPublished - 2000

Cite this