Parameterised Boolean Equation Systems (2004)

Cached

Download Links

by Jan Friso Groote , Tim Willemse
Venue:In Theoretical Computer Science
Citations:14 - 7 self