Search alternatives:
"composer" » "composed", "compose"
Cover Image
Read Now

1
Published 2000
Springer Berlin Heidelberg
“... in the formal verification of systems composed of both logical and continuous time components. The course...”