Browsen in EconStor gesamt nach Autor:innen Avni, Guy
Zeige Ergebnisse 1 bis 1 von 1
Erscheinungsjahr | Titel | Autor:innen |
---|---|---|
2018 | An abstraction-refinement methodology for reasoning about network games | Avni, Guy; Guha, Shibashis; Kupferman, Orna |