%0 Conference Paper %1 conf/sbmf/CostaBARBHM16 %A Costa, Andrei %A Bezerra, Jonas Santos %A Azzi, Guilherme Grochau %A Rodrigues, Leonardo Marques %A Becker, Thiago Rafael %A Herdt, Ricardo Gabriel %A Machado, Rodrigo %B SBMF %D 2016 %E Ribeiro, Leila %E Lecomte, Thierry %K dblp %P 78-94 %T Verigraph: A System for Specification and Analysis of Graph Grammars. %U http://dblp.uni-trier.de/db/conf/sbmf/sbmf2016.html#CostaBARBHM16 %V 10090 %@ 978-3-319-49814-0

@inproceedings{conf/sbmf/CostaBARBHM16, added-at = {2018-11-02T00:00:00.000+0100}, author = {Costa, Andrei and Bezerra, Jonas Santos and Azzi, Guilherme Grochau and Rodrigues, Leonardo Marques and Becker, Thiago Rafael and Herdt, Ricardo Gabriel and Machado, Rodrigo}, biburl = {https://www.bibsonomy.org/bibtex/2637c59e326d12ace0ca49754456770f0/dblp}, booktitle = {SBMF}, crossref = {conf/sbmf/2016}, editor = {Ribeiro, Leila and Lecomte, Thierry}, ee = {https://doi.org/10.1007/978-3-319-49815-7_5}, interhash = {72745a6a8cee073d05dc224d72f48853}, intrahash = {637c59e326d12ace0ca49754456770f0}, isbn = {978-3-319-49814-0}, keywords = {dblp}, pages = {78-94}, series = {Lecture Notes in Computer Science}, timestamp = {2019-12-03T11:40:54.000+0100}, title = {Verigraph: A System for Specification and Analysis of Graph Grammars.}, url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2016.html#CostaBARBHM16}, volume = 10090, year = 2016 }