@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} }