author : William D. Young

Short works

• Modeling and Verification of a Simple Real-Time Gate Controller. 1995. (In Applications of Formal Methods )