Contributions to Conferences

back

Undecidable Control Conditions in Graph Transformation Units


Authors

  • Hölscher, K.
  • Klempien-Hinrichs, R.
  • Knirsch, P.

Meta information [BibTeX]

  • Year: 2006, Reviewed
  • Moreira Martins, A. and Ribeiro, L. (Editors)
  • In: Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006)
  • Conference: Brazilian Symposium on Formal Methods (SBMF 2006) in Natal, Brazil (September 17-23, 2006)
  • Series: Electronic Notes in Theoretical Computer Science, Vol. 195
  • Publisher: Elsevier
  • Pages: 95-111
  • ISSN: 1571-0661
  • DOI: 10.1016/j.entcs.2007.08.028



Arbeitsgruppe Theoretical Computer Science Arbeitsgruppe BIBA Arbeitsgruppe IGS



Hölscher, K.; Klempien-Hinrichs, R.; Knirsch, P.
Undecidable Control Conditions in Graph Transformation Units
In: Moreira Martins, A.; Ribeiro, L. (eds.): Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006). Elsevier, 2006, pp. 95-111
(Workgroups: Theoretical Computer Science, BIBA, IGS)
BibTeX Close


Download as .bib