-
Notifications
You must be signed in to change notification settings - Fork 0
/
local.bib
93 lines (83 loc) · 3.06 KB
/
local.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
@String{SV="Springer"}
@String{LNCS="Lecture Notes in Computer Science"}
@InCollection{Ehrig+1997,
Author = {Hartmut Ehrig and Reiko Heckel and Martin Korff and Michael L{\"o}we and Leila Ribeiro and Annika Wagner and Andrea Corradini},
Title = {Algebraic Approaches to Graph Transformation, {Part II}: Single Pushout Approach and Comparison with Double Pushout Approach},
Booktitle = {Handbook of Graph Grammars and Computing by Graph Transformation},
Crossref = {Rozenberg1997},
Pages = {247--312}
}
@inproceedings{GXL,
author = {Andreas Winter and
Bernt Kullbach and
Volker Riediger},
title = {An Overview of the {GXL} Graph Exchange Language},
pages = {324-336},
editor = {Stephan Diehl},
booktitle = {Software Visualization},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2269},
year = {2002},
isbn = {3-540-43323-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@Misc{JGraph,
Key="JGraph",
Title="{JGraph}: Java Graph Visualization and Layout",
Year=2008,
Howpublished="URL: \url{http://www.jgraph.com/}",
}
@Article{HabelHecTae1996,
Author = {Annegret Habel and Reiko Heckel and Gabriele Taentzer},
Title = {Graph Grammars with Negative Application Conditions},
Journal = {Fundamenta Informaticae},
Volume = {26},
Number = {3-4},
Pages = {287--313},
Publisher = {IOS Press},
Year = {1996}
}
@Article{Loewe1993,
Author = {Michael L{\"o}we},
Title = {Algebraic approach to single-pushout graph transformation},
Journal = {Theoretical Computer Science},
Volume = {109},
Number = {1-2},
Pages = {181--224},
Publisher = {Elsevier Science Publishers Ltd.},
Year = {1993}
}
@InProceedings{Rensink2003a,
Author = {Arend Rensink},
Title = {The {GROOVE Simulator}: A Tool for State Space Generation},
Booktitle = {Proceedings of the Second International Workshop on the Applications of Graph Transformations with Industrial Relevance (AGTIVE'03)},
Crossref = {AGTIVE2003},
PAGES = {479--485}
}
@InProceedings{Rensink2003b,
Author = {Arend Rensink},
Title = {Towards Model Checking Graph Grammars},
Booktitle = {Workshop on Automated Verification of Critical Systems (AVoCS)},
Editor = {M. Leuschel and S. Gruner and S. Lo Presti},
Publisher = {University of Southampton},
Series = {Technical Report DSSE--TR--2003--2},
Pages = {150--160},
Year = {2003}
}
% cross-referenced entries
@Proceedings{AGTIVE2003,
Title = {Proceedings of the Second International Workshop on the Applications of Graph Transformations with Industrial Relevance (AGTIVE'03)},
Editor = {John L. Pfaltz and Manfred Nagl and Boris B{\"o}hlen},
Series = LNCS,
Volume = {3062},
Publisher = SV,
Year = {2003}
}
@Book{Rozenberg1997,
Author = {Grzegorz Rozenberg},
Title = {Handbook of Graph Grammars and Computing by Graph Transformation},
Volume = {I: Foundations},
Publisher = {World Scientific},
Year = {1997}
}