haku: @keyword Buchi-tilakone / yhteensä: 1
viitteet: 1-1 / 1
« edellinen sivu | seuraava sivu »
 otsikkovuositekijä
1.
Automated Testing of Buchi Automata Translators for Linear Temporal Logic
2000 Tauriainen, Heikki
« edellinen sivu | seuraava sivu »
INSSI