Protocol conformance testing: a formal perspective on SO IS-9646

G.J. Tretmans, W.T.M. Kars

Research output: Contribution to journal › Article › Professional

Keywords

@article{f9447577bedf4211b06b5a015a69fb1b,

title = "Protocol conformance testing: a formal perspective on SO IS-9646",

keywords = "METIS-121768",

author = "G.J. Tretmans and W.T.M. Kars",

year = "1991",

language = "Undefined",

volume = "1",

pages = "--",

journal = "Memoranda informatica",

issn = "0924-3755",

publisher = "University of Twente",

number = "32",

}