Wiley.com

Search Results

Refine: Sort by:

1 matches for "Rakefet Kol"

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (0471704490) cover image
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
by Michael Yoeli, Rakefet Kol
March 2008, Hardcover