T.A.C.: Parameterised boolean equation systems (2005)

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