Everand Logo

Welcome to Everand!

  • Books Authored by Rakefet Kol

    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    0% of Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS completed
    Ebook
    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    Michael Yoeli