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

Gainer, Paul

  1. Accelerated Model Checking of Parametric Markov Chains
    2018/05/15 by Gainer, Paul, Hahn, Ernst Moritz, Schewe, Sven · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)