Items where Author is "König, Barbara"

Group by: Creators | Item Type | Date | No Grouping

Number of items: 1.

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 Wed Apr 24 00:18:14 2024 CEST.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.