Inproceedings,
Provably Correct Graph Transformations with Small-tALC.
N. Baklanova, J. Brenas, R. Echahed, C. Percebois, M. Strecker, and H. Tran.ICTERI, volume 1356 of CEUR Workshop Proceedings, page 78-93. CEUR-WS.org, (2015)
Meta data
- BibTeX key
- conf/icteri/BaklanovaBEPST15
- entry type
- inproceedings
- booktitle
- ICTERI
- year
- 2015
- pages
- 78-93
- publisher
- CEUR-WS.org
- series
- CEUR Workshop Proceedings
- volume
- 1356
- crossref
- conf/icteri/2015
- ee
- https://ceur-ws.org/Vol-1356/paper_14.pdf
- url
- http://dblp.uni-trier.de/db/conf/icteri/icteri2015.html#BaklanovaBEPST15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icteri/BaklanovaBEPST15
%A Baklanova, Nadezhda
%A Brenas, Jon Haël
%A Echahed, Rachid
%A Percebois, Christian
%A Strecker, Martin
%A Tran, Hanh Nhi
%B ICTERI
%D 2015
%E Batsakis, Sotiris
%E Mayr, Heinrich C.
%E Yakovyna, Vitaliy
%E Nikitchenko, Mykola S.
%E Zholtkevych, Grygoriy
%E Kharchenko, Vyacheslav S.
%E Kravtsov, Hennadiy
%E Kobets, Vitaliy
%E Peschanenko, Vladimir S.
%E Ermolayev, Vadim
%E Bobalo, Yuriy
%E Spivakovsky, Aleksander
%I CEUR-WS.org
%K dblp
%P 78-93
%T Provably Correct Graph Transformations with Small-tALC.
%U http://dblp.uni-trier.de/db/conf/icteri/icteri2015.html#BaklanovaBEPST15
%V 1356
@inproceedings{conf/icteri/BaklanovaBEPST15,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Baklanova, Nadezhda and Brenas, Jon Haël and Echahed, Rachid and Percebois, Christian and Strecker, Martin and Tran, Hanh Nhi},
biburl = {https://www.bibsonomy.org/bibtex/288f1cedf455d1202c902aa636c325f15/dblp},
booktitle = {ICTERI},
crossref = {conf/icteri/2015},
editor = {Batsakis, Sotiris and Mayr, Heinrich C. and Yakovyna, Vitaliy and Nikitchenko, Mykola S. and Zholtkevych, Grygoriy and Kharchenko, Vyacheslav S. and Kravtsov, Hennadiy and Kobets, Vitaliy and Peschanenko, Vladimir S. and Ermolayev, Vadim and Bobalo, Yuriy and Spivakovsky, Aleksander},
ee = {https://ceur-ws.org/Vol-1356/paper_14.pdf},
interhash = {aa5764d65b626b151fd58434fba1903a},
intrahash = {88f1cedf455d1202c902aa636c325f15},
keywords = {dblp},
pages = {78-93},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-09T20:25:02.000+0200},
title = {Provably Correct Graph Transformations with Small-tALC.},
url = {http://dblp.uni-trier.de/db/conf/icteri/icteri2015.html#BaklanovaBEPST15},
volume = 1356,
year = 2015
}