EEMCS

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

EEMCS EPrints Service


Editor: Abramsky, S.
Home Policy Brochure Browse Search User Area Contact Help

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 Sun May 21 21:30:30 CEST 2017.