Reihe Wiley Series on Parallel and Distributed ComputingMichael Yoeli × Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS Michael YoeliJohn Wiley & SonseBook2008115,99 €