Nadezhda Baklanova, Jon Haël Brenas, Rachid Echahed, Christian Percebois, Martin Strecker, Hanh Nhi Tran. Provably Correct Graph Transformations with Small-tALC. In Sotiris Batsakis, Heinrich C. Mayr, Vitaliy Yakovyna, Mykola Nikitchenko, Grygoriy Zholtkevych, Vyacheslav Kharchenko, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko, Vadim Ermolayev, Yuriy Bobalo, Aleksander Spivakovsky, editors, Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015. Volume 1356 of CEUR Workshop Proceedings, pages 78-93, CEUR-WS.org, 2015. [doi]
@inproceedings{BaklanovaBEPST15,
title = {Provably Correct Graph Transformations with Small-tALC},
author = {Nadezhda Baklanova and Jon Haël Brenas and Rachid Echahed and Christian Percebois and Martin Strecker and Hanh Nhi Tran},
year = {2015},
url = {http://ceur-ws.org/Vol-1356/paper_14.pdf},
researchr = {https://researchr.org/publication/BaklanovaBEPST15},
cites = {0},
citedby = {0},
pages = {78-93},
booktitle = {Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Lviv, Ukraine, May 14-16, 2015},
editor = {Sotiris Batsakis and Heinrich C. Mayr and Vitaliy Yakovyna and Mykola Nikitchenko and Grygoriy Zholtkevych and Vyacheslav Kharchenko and Hennadiy Kravtsov and Vitaliy Kobets and Vladimir S. Peschanenko and Vadim Ermolayev and Yuriy Bobalo and Aleksander Spivakovsky},
volume = {1356},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}