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

Bombardelli, Alberto

  1. Unifying Asynchronous Logics for Hyperproperties
    2024/04/25 by Bombardelli, Alberto, Bozzelli, Laura, Sánchez, César +1 · 2 citations
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)