Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs
Yoeli, Michael
Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs - New Jersey John Wiley & Sons 2008 - xv, 231 p. ; 24 cm
9780471704492
Electrical Engineering
621.381548 / YOE
Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs - New Jersey John Wiley & Sons 2008 - xv, 231 p. ; 24 cm
9780471704492
Electrical Engineering
621.381548 / YOE