verification of systems and circuits using lotos, petri nets, and ccs

michael yoeli · john wiley & sons inc