Modularization and Abstraction in Meander

Giese, Holger

by Holger Giese

Reference:

Modularization and Abstraction in Meander (Holger Giese), Technical report, Universitat–Gesamthochschule Siegen/ Fachbereich 12, 1996.

Bibtex Entry:

@TechReport{giese.h:maaim:1996:non,
AUTHOR = {Giese, Holger},
TITLE = {{Modularization and Abstraction in Meander}},
YEAR = {1996},
INSTITUTION = {Universitat--Gesamthochschule Siegen/ Fachbereich 12},
URL = {.infotree/data/siegen/holger_bericht.html},
ANNOTE = {ENTRYTYPE : publication},
KEYWORDS = {siegen, Model Checking, meander, sematik}
}