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

Takanori Ishibashi

  1. Combining model checking with simulation-based techniques for protocol verification
    2026/07/20 by Takanori Ishibashi, Kazuhiro Ogata
    #cs.SE