Dipl.-Inform. Roland Meyer
On this page:
back to the mainpage.
1
Theses (BibTeX Source)
@MASTERSTHESIS{Meyer2005a,
AUTHOR = {R. Meyer},
TITLE = {{Model-Checking von Phasen-Event-Automaten bez\"uglich Duration Calculus Formeln mittels Testautomaten}},
SCHOOL = {University of Oldenburg},
YEAR = {2005},
}
