EEMCS

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

EEMCS EPrints Service


Editor: Wehrheim, H.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2006

Kastenberg, H. and Kleppe, A.G. and Rensink, A. (2006) Defining Object-Oriented Execution Semantics Using Graph Transformations. In: Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems, 14-16 June 2006, Bologna, Italy. pp. 186-201. Lecture Notes in Computer Science 4037. Springer Verlag. ISBN 978-3-540-34893-1

This list was generated on Mon May 22 06:29:23 CEST 2017.