%0 Conference Paper %1 conf/concur/ChenPPW07 %A Chen, Taolue %A Ploeger, Bas %A van de Pol, Jaco %A Willemse, Tim A. C. %B CONCUR %D 2007 %E Caires, Luís %E Vasconcelos, Vasco Thudichum %I Springer %K dblp %P 120-135 %T Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur2007.html#ChenPPW07 %V 4703 %@ 978-3-540-74406-1

@inproceedings{conf/concur/ChenPPW07, added-at = {2024-09-02T00:00:00.000+0200}, author = {Chen, Taolue and Ploeger, Bas and van de Pol, Jaco and Willemse, Tim A. C.}, biburl = {https://www.bibsonomy.org/bibtex/2f03588cc2d5fd819174c673ed91c3943/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2007}, editor = {Caires, Luís and Vasconcelos, Vasco Thudichum}, ee = {https://doi.org/10.1007/978-3-540-74407-8_9}, interhash = {c825a7dbb40a935d5b0f85ea6cc652d8}, intrahash = {f03588cc2d5fd819174c673ed91c3943}, isbn = {978-3-540-74406-1}, keywords = {dblp}, pages = {120-135}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-09-09T07:19:49.000+0200}, title = {Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2007.html#ChenPPW07}, volume = 4703, year = 2007 }