Browsen in EconStor gesamt nach Autor:innen Avni, Guy


Zeige Ergebnisse 1 bis 1 von 1
ErscheinungsjahrTitelAutor:innen
2018An abstraction-refinement methodology for reasoning about network gamesAvni, Guy; Guha, Shibashis; Kupferman, Orna