Incremental Development of Safety Properties in Petri Net Transformations
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Julia Padberg, Magdalena Gajewsky, Kathrin Hoffmann
Incremental Development of Safety Properties in Petri Net Transformations
ICGT, 1998.

TAGT 1998
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{TAGT-1998-PadbergGH,
	author        = "Julia Padberg and Magdalena Gajewsky and Kathrin Hoffmann",
	booktitle     = "{Selected Papers of the Sixth International Workshop on Theory and Application of Graph Transformations}",
	doi           = "10.1007/978-3-540-46464-8_29",
	editor        = "Hartmut Ehrig and Gregor Engels and Hans-Jörg Kreowski and Grzegorz Rozenberg",
	isbn          = "3-540-67203-6",
	pages         = "410--425",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Incremental Development of Safety Properties in Petri Net Transformations}",
	volume        = 1764,
	year          = 1998,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.