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

Bonnet, Rémi

  1. Analysis of Probabilistic Basic Parallel Processes
    2014/01/16 by Rémi Bonnet, Bonnet, Rémi, Stefan Kiefer +3 · 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