Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:25:23 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||