Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Informatik 2016 P-259, 35-35 (2016).

Gesellschaft für Informatik, Bonn
2016


Copyright © Gesellschaft für Informatik, Bonn

Contents

From model checking to equilibrium checking

Michael Wooldridge


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-653-4


Last changed 21.10.2016 20:18:47