Logo eprints

Items where Author is "König, Barbara"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Ba | Co | | Ll
Number of items: 4.

Ba

Baldan, Paolo and Corradini, Andrea and König, Barbara and Lluch-Lafuente, Alberto A Temporal Graph Logic for Verification of Graph Transformation Systems. In: Recent Trends in Algebraic Development Techniques (WADT’06). Lecture Notes in Computer Science, 4409 . Springer, pp. 1-20. ISBN 978-3-540-71997-7 (2006)

Co

Baldan, Paolo and Corradini, Andrea and König, Barbara and Lluch-Lafuente, Alberto A Temporal Graph Logic for Verification of Graph Transformation Systems. In: Recent Trends in Algebraic Development Techniques (WADT’06). Lecture Notes in Computer Science, 4409 . Springer, pp. 1-20. ISBN 978-3-540-71997-7 (2006)

Baldan, Paolo and Corradini, Andrea and König, Barbara and Lluch-Lafuente, Alberto A Temporal Graph Logic for Verification of Graph Transformation Systems. In: Recent Trends in Algebraic Development Techniques (WADT’06). Lecture Notes in Computer Science, 4409 . Springer, pp. 1-20. ISBN 978-3-540-71997-7 (2006)

Ll

Baldan, Paolo and Corradini, Andrea and König, Barbara and Lluch-Lafuente, Alberto A Temporal Graph Logic for Verification of Graph Transformation Systems. In: Recent Trends in Algebraic Development Techniques (WADT’06). Lecture Notes in Computer Science, 4409 . Springer, pp. 1-20. ISBN 978-3-540-71997-7 (2006)

This list was generated on Fri Mar 29 10:25:17 2024 CET.