Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs
ISBN: 9780470253397



Information Available:
Summary
Author Notes
Inside Flap
Cover Image





Copyright held by Baker & Taylor.