Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs
ISBN: 9780470253397
Information Available:
Summary
Author Notes
Inside Flap
Cover Image
Table Of Contents
Copyright held by Baker & Taylor.