Invariants for Parameterised Boolean Equation Systems
Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2009.11.001
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 2010
Authors
Publisher
Elsevier BV
Available in full text
March 1, 2010
Elsevier BV