default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/unigra:"
download as .bib file
@inproceedings{DBLP:journals/entcs/BardohlE03,
author = {Roswitha Bardohl and
Hartmut Ehrig},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification
Techniques},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {166--167},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80754-6},
doi = {10.1016/S1571-0661(05)80754-6},
timestamp = {Thu, 08 Dec 2022 11:16:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BardohlE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bottoni03,
author = {Paolo Bottoni},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Dynamic aspects of visual modelling languages},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {120--132},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80751-5},
doi = {10.1016/S1571-0661(04)80751-5},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Bottoni03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeselJL03,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Robert Lorenz},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Relating axiomatic and operational semantics of place/transition nets:
From process terms to partial orders},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {46--62},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80746-1},
doi = {10.1016/S1571-0661(04)80746-1},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeselJL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EetveldeJ03,
author = {Niels Van Eetvelde and
Dirk Janssens},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {A Hierarchical Program Representation for Refactoring},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {91--104},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80749-7},
doi = {10.1016/S1571-0661(04)80749-7},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EetveldeJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Ehrig03,
author = {Hartmut Ehrig},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Behaviour and Instantiation of High-Level Net Processes},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {1--15},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80743-6},
doi = {10.1016/S1571-0661(04)80743-6},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Ehrig03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EngelsKHL03,
author = {Gregor Engels and
Jochen Malte K{\"{u}}ster and
Reiko Heckel and
Marc Lohmann},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Model-Based Verification and Validation of Properties},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {133--150},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80752-7},
doi = {10.1016/S1571-0661(04)80752-7},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EngelsKHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KentS03,
author = {Stuart Kent and
Robert Smith},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {The Bidirectional Mapping Problem},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {151--165},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80753-9},
doi = {10.1016/S1571-0661(04)80753-9},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KentS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KuskeK03,
author = {Sabine Kuske and
Peter Knirsch},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Modeling Agent Systems with Distributed Transformation Units},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {79--90},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80748-5},
doi = {10.1016/S1571-0661(04)80748-5},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KuskeK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Minas03,
author = {Mark Minas},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {XML-based Specification of Diagram Editors},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {105--119},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80750-3},
doi = {10.1016/S1571-0661(04)80750-3},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Minas03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrejasE03,
author = {Fernando Orejas and
Hartmut Ehrig},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Components for Algebra Transformation Systems},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {63--78},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80747-3},
doi = {10.1016/S1571-0661(04)80747-3},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrejasE03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Padberg03,
author = {Julia Padberg},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Case Study: Modelling Telecom Services with Petri Net Modules},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {34--45},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80745-X},
doi = {10.1016/S1571-0661(04)80745-X},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Padberg03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Urbasek03,
author = {Milan Urb{\'{a}}sek},
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Modeling Petri Net Based Systems by Net Transformations: New Developments},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
pages = {16--33},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80744-8},
doi = {10.1016/S1571-0661(04)80744-8},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Urbasek03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/unigra/2003,
editor = {Roswitha Bardohl and
Hartmut Ehrig},
title = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April
5-6, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {82},
number = {7},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/82/issue/7},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/unigra/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiP01,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Improving {UML} with Petri nets},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {107--119},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80947-2},
doi = {10.1016/S1571-0661(04)80947-2},
timestamp = {Thu, 01 Dec 2022 11:20:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DehnertGLW01,
author = {Juliane Dehnert and
Maike Gajewsky and
Sabine Lembke and
Herbert Weber},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {The Petri Net Baukasten - Second Installment},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {120--139},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80948-4},
doi = {10.1016/S1571-0661(04)80948-4},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DehnertGLW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeselJL01,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Robert Lorenz},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Unifying Petri Nets with Restricted Occurrence Rule Using Partial
Algebra},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {163--187},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80950-2},
doi = {10.1016/S1571-0661(04)80950-2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeselJL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigEP01,
author = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Preface},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {188--189},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80952-1},
doi = {10.1016/S1571-0661(05)80952-1},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigEP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ErmelBP01,
author = {Claudia Ermel and
Roswitha Bardohl and
Julia Padberg},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Visual Design of Software Architecture and Evolution based on Graph
Transformation},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {52--66},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80943-5},
doi = {10.1016/S1571-0661(04)80943-5},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ErmelBP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Grosse-Rhode01a,
author = {Martin Gro{\ss}e{-}Rhode},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Formal Concepts for an Integrated Internal Model of the {UML}},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {80--92},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80945-9},
doi = {10.1016/S1571-0661(04)80945-9},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Grosse-Rhode01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeckelZ01,
author = {Reiko Heckel and
Albert Z{\"{u}}ndorf},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {How to Specify a Graph Transformation Approach - {A} Meta Model for
Fujaba},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {41--51},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80942-3},
doi = {10.1016/S1571-0661(04)80942-3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeckelZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KreowskiBK01,
author = {Hans{-}J{\"{o}}rg Kreowski and
Giorgio Busatto and
Sabine Kuske},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {{GRACE} as a unifying approach to graph-transformation-based specification},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {1--15},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80939-3},
doi = {10.1016/S1571-0661(04)80939-3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KreowskiBK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MinasH01,
author = {Mark Minas and
Berthold Hoffmann},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Specifying and Implementing Visual Process Modeling Languages with
DiaGen},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {67--79},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80944-7},
doi = {10.1016/S1571-0661(04)80944-7},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MinasH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Parisi-Presicce01,
author = {Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {On Modifying High Level Replacement Systems},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {16--27},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80940-X},
doi = {10.1016/S1571-0661(04)80940-X},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Parisi-Presicce01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schurr01,
author = {Andy Sch{\"{u}}rr},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Adding Graph Transformation Concepts to UML's Constraint Language
{OCL}},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {93--106},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80946-0},
doi = {10.1016/S1571-0661(04)80946-0},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schurr01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StehrMO01,
author = {Mark{-}Oliver Stehr and
Jos{\'{e}} Meseguer and
Peter Csaba {\"{O}}lveczky},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Representation and Execution of Petri Nets Using Rewriting Logic as
a Unifying Framework},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {140--162},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80949-6},
doi = {10.1016/S1571-0661(04)80949-6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/StehrMO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Taentzer01a,
author = {Gabriele Taentzer},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Towards Common Exchange Formats for Graphs and Graph Transformation
Systems},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {28--40},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80941-1},
doi = {10.1016/S1571-0661(04)80941-1},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Taentzer01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/unigra/2001,
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/44/issue/4},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/unigra/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-17 08:08 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
