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

Gerhold, Marcus

  1. A Hierarchy of Scheduler Classes for Stochastic Automata
    2017/10/16 by D'Argenio, Pedro R., Gerhold, Marcus, Hartmanns, Arnd +1 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)