Publications de
Mathias Winckel, Ralph Matthes
On a Dynamic Logic for Graph Rewriting (regular paper)
Dans : Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2013), Kherson, Ukraine, 20/01/13-21/01/13, Vol. 1000, Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky (Eds.), CEUR-WS : Workshop proceedings, p. 506-520, juin 2013.
Mathias Winckel, Ralph Matthes
Formalization of a dynamic logic for graph transformation in the Coq proof assistant (regular paper)
Dans : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2012), Kiew, 03/12/12-07/12/12, Mykola Nikitchenko (Eds.), Avangard, p. 31-42, décembre 2012.