S. Caires , V. Vasconcelos
Lecture Notes in Computational Science and Engineering
International Conference on Concurrency Theory
Specification and Analysis of Embedded Systems

Chen, T, Ploeger, S.C.W, van de Pol, J.C, & Willemse, T.A.C. (2007). Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. In S Caires & V Vasconcelos (Eds.), LNCS (pp. 120–135). Springer.