%0 Conference Paper %1 conf/pepm/HouM20 %A Hou, Zechen %A Madelaine, Eric %B PEPM@POPL %D 2020 %E Poulsen, Casper Bach %E Hu, Zhenjiang %I ACM %K dblp %P 14-26 %T Symbolic bisimulation for open and parameterized systems. %U http://dblp.uni-trier.de/db/conf/pepm/pepm2020.html#HouM20 %@ 978-1-4503-7096-7

@inproceedings{conf/pepm/HouM20, added-at = {2020-09-05T00:00:00.000+0200}, author = {Hou, Zechen and Madelaine, Eric}, biburl = {https://www.bibsonomy.org/bibtex/25d9a9efbad9cec6fd1c5c391addb18c5/dblp}, booktitle = {PEPM@POPL}, crossref = {conf/pepm/2020}, editor = {Poulsen, Casper Bach and Hu, Zhenjiang}, ee = {https://doi.org/10.1145/3372884.3373161}, interhash = {3f9bf4c69ff4439281871b7d6d5d0bbf}, intrahash = {5d9a9efbad9cec6fd1c5c391addb18c5}, isbn = {978-1-4503-7096-7}, keywords = {dblp}, pages = {14-26}, publisher = {ACM}, timestamp = {2020-09-09T15:11:57.000+0200}, title = {Symbolic bisimulation for open and parameterized systems.}, url = {http://dblp.uni-trier.de/db/conf/pepm/pepm2020.html#HouM20}, year = 2020 }