Everand Logo

Welcome to Everand!

  • Books Authored by Michael Yoeli

    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