Verifying temporal properties in discrete event systems

Författare
Roger Germundsson
Språk
Engelska
Förlag År Ort Om boken ISBN
1995 Sverige 3 sidor.
Univ. 1995 Sverige, Linköping 2 sidor.