Väitöskirjat

Viitteet 1-1 / 1

Improvements in state space representation and model checking algorithms

Geldenhuys, J.
Tampereen teknillinen yliopisto. Julkaisu : 591 (Tampere University of Technology, 2006)
Artikkeliväitöskirja

"Geldenhuys, J." - Selaus tekijän mukaan Väitöskirjat