2007-07-01
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
Publication
Publication
Presented at the
International Conference on Concurrency Theory, Lisbon, Portugal
Additional Metadata | |
---|---|
Springer | |
S. Caires , V. Vasconcelos | |
Lecture Notes in Computational Science and Engineering | |
International Conference on Concurrency Theory | |
Organisation | 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.
|