×
  • Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing)

    Michael Yoeli

Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read