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

Forejt, Vojtech

  1. Pareto Curves for Probabilistic Model Checking
    2012/06/24 by Forejt, Vojtech, Kwiatkowska, Marta, Parker, David · 4 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)