Wiley.com

Search Results

Refine: Sort by:

1 matches for "Michael Yoeli"

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