Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 05:26:46 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||