default search action

combined dblp search
author search
venue search
publication search

ask others

3rd GT-VC@CONCUR 2007: Lisbon, Portugal

> Home > Conferences and Workshops > CONCUR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/concur/2007gtvc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/2007gtvc
Barbara König, Arend Rensink, Reiko Heckel:
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007. Electronic Notes in Theoretical Computer Science 213(1), Elsevier 2008
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KonigRH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KonigRH08
Barbara König, Arend Rensink, Reiko Heckel:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaresiRRS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaresiRRS08
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini:
An Efficient Solution for Model Checking Graph Transformation Systems. 3-21
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Bruggink08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Bruggink08
H. J. Sander Bruggink:
Towards a Systematic Method for Proving Termination of Graph Transformation Systems. 23-38
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BruniBGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BruniBGM08
Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti:
Modelling Dynamic Software Architectures using Typed Graph Grammars. 39-53
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ErmelE08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ErmelE08
Claudia Ermel, Hartmut Ehrig:
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. 55-74
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Pennemann08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Pennemann08
Karl-Heinz Pennemann:
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions. 75-94

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.