Arend Rensink, Reiko Heckel, Barbara König 0001, editors, Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006. Volume 175 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Conference: concur2007
@proceedings{concur-2006gtvc,
title = {Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/175/issue/4},
researchr = {https://researchr.org/publication/concur-2006gtvc},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
conference = {concur},
editor = {Arend Rensink and Reiko Heckel and Barbara König 0001},
volume = {175},
number = {4},
series = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier},
}