A study of decompositional verification of hybrid systems

Författare
Martin Westhead
(Martin Westhead, Simin Nadjm-Tehrani.)
Språk
Engelska
Förlag År Ort Om boken ISBN
1995 Sverige 18 sidor.