EEMCS

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

EEMCS EPrints Service


Editor: Montanari, U.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2006

Habel, A. and Pennemann, K.-H. and Rensink, A. (2006) Weakest Preconditions for High-Level Programs. In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 445-460. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2
Rensink, A. (2006) Nested Quantification in Graph Transformation Rules. (Invited) In: Graph Transformations (ICGT), 19-21 Sep 2006, Natal, Brazil. pp. 1-13. Lecture Notes in Computer Science 4178. Springer Verlag. ISBN 3-540-38870-2

2005

Baldan, P. and König, B. and Rensink, A. (2005) Summary 2: Graph Grammar Verification through Abstraction. In: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2005, Dagstuhl, Germany. Dagstuhl Seminar 04241. Dagstuhl. ISSN 1862-4405

2000

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Logical Characterisation of Performability Properties. In: International Conference on Automata, Languages and Programming (ICALP), 10-14 July 2000, Geneva, Switserland. pp. 780-792. Lecture Notes in Computer Science 1853. Springer. ISBN 9783540677154

This list was generated on Mon May 29 03:41:37 CEST 2017.