Games for Counting Abstractions1
Under a Creative Commons license
open access
Keywords
Petri nets
Counting Abstraction
Games
Cited by (0)
- 1
Supported by the FRFC project “Centre Fédéré en Vérification” funded by the Belgian National Science Fundation (FNRS) under grant nr 2.4530.02.
- 2
Supported by a “First Europe” grant EPH3310300R0012 of the Walloon Region.
Copyright © 2005 Elsevier B.V.