Publications

Publications of

Conference papers
  • Mathias Winckel, Ralph Matthes

    On a Dynamic Logic for Graph Rewriting (regular paper)

    In : 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, pp. 506-520, June 2013.

    URL : https://oatao.univ-toulouse.fr/12536/
    BibTeX

  • Mathias Winckel, Ralph Matthes

    Formalization of a dynamic logic for graph transformation in the Coq proof assistant (regular paper)

    In : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2012), Kiew, 03/12/12-07/12/12, Mykola Nikitchenko (Eds.), Avangard, pp. 31-42, December 2012.

    Abstract
    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by