Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Hoffmann, Kathrin"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Independence of net transformations and token firing in reconfigurable place/transition systems
Hartmut Ehrig
,
Kathrin Hoffmann
,
Julia Padberg
,
Ulrike Prange
,
Claudia Ermel
Lecture Notes in Computer Science
4546
, 2007, pp. 104-123
High-level nets with nets and rules as tokens
Kathrin Hoffmann
,
Hartmut Ehrig
,
Mossakowski
,
Till
Lecture Notes in Computer Science
3536
, 2005, pp. 268-288