EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 2. 2010
Rensink, A.
(2010)
Compositionality in Graph Transformation.
In: Automata, Languages and Programming (ICALP), 5-10 Jul 2010, Bordeaux, France.
pp. 309-320.
Lecture Notes in Computer Science 6199.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-14161-4
1991
Meyer, J.J.C. and Wieringa, R.J.
(1991)
Actor-Oriented System Specification with Dynamic Logic.
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 8-12 Apr 1991, Brighton, UK.
pp. 337-357.
Lecture Notes in Computer Science 494.
Springer.
ISBN 3540539816
This list was generated on Thu May 24 05:19:00 CEST 2012. |
||||||||||||||||