„probabilistic linear-time specifications“

Suchergebnisse

1 Treffer

• Model Checking Population Protocols
  Esparza, Javier ; Ganty, Pierre ; Leroux, Jérôme ; Majumdar, Rupak 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik