Konferenzbeitrag

From model checking to equilibrium checking

Vorschaubild
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
35.pdf (31.82 KB)
Datum
2016
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Informatik 2016
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
Beschreibung
Wooldridge, Michael (2016): From model checking to equilibrium checking. Informatik 2016. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-653-4. pp. 35-35. Klagenfurt. 26.-30. September 2016
Schlagwörter
Zitierform
DOI
Tags
Sammlungen
P259 - INFORMATIK 2016