default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Communication of the European Association of Software Science and Technology, Volume 62

> Home > Journals > Electronic Communication of the European Association of Software Science and Technology

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 62, 2013

Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MossakowskiRS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MossakowskiRS13
Till Mossakowski, Markus Roggenbach, Lutz Schröder:
Preface.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/GimblettKOR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/GimblettKOR13
Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach:
On the whereabouts of CSP-CASL - A survey.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/GrosseFD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/GrosseFD13
Daniel Große, Görschwin Fey, Rolf Drechsler:
Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/KohlhaseK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/KohlhaseK13
Andrea Kohlhase, Michael Kohlhase:
Spreadsheets with a Semantic Layer.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MossakowskiCML13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MossakowskiCML13
Till Mossakowski, Mihai Codescu, Christian Maeder, Bruno Langenstein:
The VSE Refinement Method in Hets.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/KreowskiK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/KreowskiK13
Hans-Jörg Kreowski, Sabine Kuske:
Graph Tuple Transformation.
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/FreseLBR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/FreseLBR13
Udo Frese, Tim Laue, Oliver Birbach, Thomas Röfer:
(A) Vision for 2050 - Context-Based Image Understanding for a Human-Robot Soccer Match.

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.