EEMCS

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

EEMCS EPrints Service


Editor: Lewerentz, C.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2010

Rensink, A. (2010) The Edge of Graph Transformation - Graphs for Behavioural Specification. In: Graph Transformations and Model-Driven Engineering. Lecture Notes in Computer Science 5765. Springer Verlag, Berlin, pp. 6-32. ISSN 0302-9743 ISBN 978-3-642-17321-9

1994

Wieringa, R.J. (1994) LCM and MCM: Specification of a control system using dynamic logic and process algebra. In: Formal Development of Reactive Systems Case Study Production Cell. Lecture Notes in Computer Science 891. Springer, Berlin, pp. 333-355. ISBN 9783540588672

This list was generated on Mon May 29 02:50:56 CEST 2017.