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

Weil-Kennedy, Chana

  1. Parameterized Analysis of Immediate Observation Petri Nets
    2019/02/08 by Javier Esparza, Esparza, Javier, Mikhail Raskin +3 · 1 citation
    Biochemistry, Genetics and Molecular Biology · Computer Science · #DNA and Biological Computing #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling