Verification of a large discret system using algebraic methods

Författare
Johan Gunnarsson
(J. Gunnarsson, J. Plantin, R. Germundsson.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Univ. 1996 Sverige, Linköping [6] sidor.