Inproceedings,
Graph Grammars: A Comparison between Verification Methods.
A. de Mello, L. Junior, L. Foss, and S. da Costa Cavalheiro.WEIT, page 88-94. IEEE Computer Society, (2011)
Meta data
- BibTeX key
- conf/weit/MelloJFC11
- entry type
- inproceedings
- booktitle
- WEIT
- year
- 2011
- pages
- 88-94
- publisher
- IEEE Computer Society
- crossref
- conf/weit/2011
- ee
- http://doi.ieeecomputersociety.org/10.1109/WEIT.2011.17
- isbn
- 978-1-4673-0225-8
- url
- http://dblp.uni-trier.de/db/conf/weit/weit2011.html#MelloJFC11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/weit/MelloJFC11
%A de Mello, Andre Moura
%A Junior, Luiz Carlos Lemos
%A Foss, Luciana
%A da Costa Cavalheiro, Simone André
%B WEIT
%D 2011
%I IEEE Computer Society
%K
%P 88-94
%T Graph Grammars: A Comparison between Verification Methods.
%U http://dblp.uni-trier.de/db/conf/weit/weit2011.html#MelloJFC11
%@ 978-1-4673-0225-8
@inproceedings{conf/weit/MelloJFC11,
added-at = {2023-12-12T19:17:52.000+0100},
author = {de Mello, Andre Moura and Junior, Luiz Carlos Lemos and Foss, Luciana and da Costa Cavalheiro, Simone André},
biburl = {https://www.bibsonomy.org/bibtex/2abbed669972342ba68f35d6e4d468f48/admin},
booktitle = {WEIT},
crossref = {conf/weit/2011},
ee = {http://doi.ieeecomputersociety.org/10.1109/WEIT.2011.17},
interhash = {1e9d7712484cb93f8ed081824aef5b5b},
intrahash = {abbed669972342ba68f35d6e4d468f48},
isbn = {978-1-4673-0225-8},
keywords = {},
pages = {88-94},
publisher = {IEEE Computer Society},
timestamp = {2023-12-12T19:17:52.000+0100},
title = {Graph Grammars: A Comparison between Verification Methods.},
url = {http://dblp.uni-trier.de/db/conf/weit/weit2011.html#MelloJFC11},
year = 2011
}