Using SMT for Solving Fragments of Parameterised Boolean Equation Systems
Author:
Ruud P. J. Koolen, Tim A. C. Willemse, Hans Zantema
Publication:
Springer eBook
Publisher:
Springer Nature
Copyright © 2015, Springer International Publishing Switzerland