Parameterised boolean equation systems (2005)

by J F Groote, T A C Willemse
Venue:Theor. Comput. Sci