Reducing memory usage in symbolic state-space exploration for timed systems

Författare
Johan Bengtsson
Språk
Engelska
Förlag År Ort Om boken ISBN
2001 Sverige, Uppsala 40 sidor.