author : Ove Akerlund

Short works

• Combining Theorem Proving and Continuous Models in Synchronous Design. 1999. (In FM'99 volume 2 )