home
>
book reviews
> William D. Young
Google >
William D. Young
author : William D. Young
Short works
Modeling and Verification of a Simple Real-Time Gate Controller. 1995.
(In
Applications of Formal Methods
)