Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

3rd VLFM@VL/HCC 2004: Rome, Italy

> Home > Conferences and Workshops > VLFM
> Home > Conferences and Workshops > VL/HCC

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/vlfm/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vlfm/2004
Mark Minas:
Proceedings of the Workshop on Visual Languages and Formal Methods, VLFM 2004, Rome, Italy, September 30, 2004. Electronic Notes in Theoretical Computer Science 127(4), Elsevier 2005
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Minas05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Minas05
Mark Minas:
Preface. 1-2
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GutierrezBQF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GutierrezBQF05
Maria Encarnación Beato Gutiérrez, Manuel Barrio-Solórzano, Carlos Enrique Cuesta Quintero, Pablo de la Fuente:
UML Automatic Verification Tool with Formal Methods. 3-16
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ZiemannHG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ZiemannHG05
Paul Ziemann, Karsten Hölscher, Martin Gogolla:
From UML Models to Graph Transformation Systems. 17-33
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Storrle05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Storrle05
Harald Störrle:
Semantics and Verification of Data Flow in UML 2.0 Activities. 35-52
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FishF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FishF05
Andrew Fish, Jean Flower:
Investigating Reasoning with Constraint Diagrams. 53-69
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BottoniKPT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BottoniKPT05
Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer:
Termination of High-Level Replacement Units with Application to Model Transformation. 71-86
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EbertS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EbertS05
Michael Ebert, Georg Struth:
Diagram Chase in Relational System Development. 87-105
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CostagliolaP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CostagliolaP05
Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese:
Towards Syntax-Aware Editors for Visual Languages. 107-125
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EhrigEHT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EhrigEHT05
Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer:
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse. 127-143
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Lara05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Lara05
Juan de Lara:
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation. 145-162

a service of

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.