EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Baclawski, K.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2002

Dijkman, R.M. and Quartel, D.A.C. and Ferreira Pires, L. and van Sinderen, M.J. (2002) Semantic verification of Behavior Conformance. In: Proceedings of the Eleventh OOPSLA Workshop on Behavioral Semantics - Serving the Customer, 4-8 Nov 2002. pp. 43-54. ISBN not assigned

This list was generated on Sun Mar 26 23:53:30 CEST 2017.