Logo des Repositoriums
 

From model checking to equilibrium checking

dc.contributor.authorWooldridge, Michael
dc.contributor.editorMayr, Heinrich C.
dc.contributor.editorPinzger, Martin
dc.date.accessioned2017-06-21T11:27:36Z
dc.date.available2017-06-21T11:27:36Z
dc.date.issued2016
dc.identifier.isbn978-3-88579-653-4
dc.identifier.pissn1617-5468
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofInformatik 2016
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-259
dc.titleFrom model checking to equilibrium checkingen
dc.typeText/Conference Paper
gi.citation.endPage35
gi.citation.publisherPlaceBonn
gi.citation.startPage35
gi.conference.date26.-30. September 2016
gi.conference.locationKlagenfurt

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
35.pdf
Größe:
31.82 KB
Format:
Adobe Portable Document Format