vix.ing · top · new · best · stats · spec

Ghassemi, Fatemeh

  1. Reliable Restricted Process Theory
    2017/05/07 by Fatemeh Ghassemi, Ghassemi, Fatemeh, Wan Fokkink +1 · 1 citation
    Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling