2007
Diploma Thesis
Title

Using genetic algorithms in model checking

Thesis Note
München, TU, Dipl.-Arb., 2007
Author(s)
Schwedler, Wolfgang
Advisor(s)
Eschbach, Robert
Leucker, Martin
Beletski, Taras
Publishing Place
Kaiserslautern
Language
English
Keyword(s)