Modularization and Abstraction in Meander (bibtex)
by
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}
}
Powered by bibtexbrowser