Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 08:39:36 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||