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

Grover, Kush

  1. Tools at the Frontiers of Quantitative Verification
    2024/05/22 by Andriushchenko, Roman, Bork, Alexander, Budde, Carlos E. +20 · 3 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)