Login / Signup
Temporale Verifikation mit Transitionsinvarianten.
Andrey Rybalchenko
Published in:
Ausgezeichnete Informatikdissertationen (2005)
Keyphrases
</>
data sets
database
decision trees
massachusetts institute of technology
test set