%0 Conference Paper %1 conf/pppj/XuMB22 %A Xu, Bochen %A Moss, Eliot %A Blackburn, Stephen M. %B MPLR %D 2022 %E Boix, Elisa Gonzalez %E Wrigstad, Tobias %I ACM %K dblp %P 128-139 %T Towards a Model Checking Framework for a New Collector Framework. %U http://dblp.uni-trier.de/db/conf/pppj/mplr2022.html#XuMB22 %@ 978-1-4503-9696-7

@inproceedings{conf/pppj/XuMB22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Xu, Bochen and Moss, Eliot and Blackburn, Stephen M.}, biburl = {https://www.bibsonomy.org/bibtex/23133440c5f1a2b00cf0617855f0cae65/dblp}, booktitle = {MPLR}, crossref = {conf/pppj/2022}, editor = {Boix, Elisa Gonzalez and Wrigstad, Tobias}, ee = {https://doi.org/10.1145/3546918.3546923}, interhash = {04d8c6d85ba3590f21d683578ab4404e}, intrahash = {3133440c5f1a2b00cf0617855f0cae65}, isbn = {978-1-4503-9696-7}, keywords = {dblp}, pages = {128-139}, publisher = {ACM}, timestamp = {2024-04-09T09:43:18.000+0200}, title = {Towards a Model Checking Framework for a New Collector Framework.}, url = {http://dblp.uni-trier.de/db/conf/pppj/mplr2022.html#XuMB22}, year = 2022 }