Browsen in EconStor gesamt nach Autor:innen Guha, Shibashis


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