Wooldridge, MichaelMayr, Heinrich C.Pinzger, Martin2017-06-212017-06-212016978-3-88579-653-4enFrom model checking to equilibrium checkingText/Conference Paper1617-5468