EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Wijs, A.J.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2012

Kant, G. and van de Pol, J.C. (2012) Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. In: First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012), 1 Apr 2012, Tallinn, Estonia. pp. 50-65. Electronic Proceedings in Theoretical Computer Science 99. EPTCS. ISSN 2075-2180

This list was generated on Fri Mar 24 08:25:07 CET 2017.