home
>
book reviews
> Ove Akerlund
Google >
Ove Akerlund
author : Ove Akerlund
Short works
Combining Theorem Proving and Continuous Models in Synchronous Design. 1999.
(In
FM'99 volume 2
)