EEMCS

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

EEMCS EPrints Service


Editor: Parisi-Presicce, F.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2015

Kwantes, P.M. and Van Gorp, P. and Kleijn, J. and Rensink, A. (2015) Towards Compliance Verification Between Global and Local Process Models. In: Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015, 21-23 Jul 2015, L'Aquila, Italy. pp. 221-236. Lecture Notes in Computer Science 9151. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-21144-2

2004

Rensink, A. (2004) Representing First-Order Logic Using Graphs. In: International Conference on Graph Transformations (ICGT). pp. 319-335. Lecture Notes in Computer Science 3256. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-23207-0

This list was generated on Fri Apr 28 03:45:23 CEST 2017.