BibTeX record journals/entcs/BaldanCKK04

• > Home > journals/entcs/BaldanCKK04

@inproceedings{DBLP:journals/entcs/BaldanCKK04,
  author       = {Paolo Baldan and
                  Andrea Corradini and
                  Barbara K{\"{o}}nig and
                  Bernhard K{\"{o}}nig},
  editor       = {Furio Honsell and
                  Marina Lenisa and
                  Marino Miculan},
  title        = {Verifying a Behavioural Logic for Graph Transformation Systems},
  booktitle    = {Proceedings of the Workshop of the {COMETA} Project on Computational
                  Metamodels, {COMETA} 2003, Udine, Italy, December 15-17, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {104},
  pages        = {5--24},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/j.entcs.2004.08.018},
  doi          = {10.1016/J.ENTCS.2004.08.018},
  timestamp    = {Fri, 09 Dec 2022 11:46:27 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaldanCKK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}