Options
2007
Diploma Thesis
Titel
Using genetic algorithms in model checking
ThesisNote
München, TU, Dipl.-Arb., 2007
Verlagsort
Kaiserslautern