%0 Conference Paper %1 conf/spin/DeFranciscoCFS19 %A DeFrancisco, Richard %A Cho, Shenghsun %A Ferdman, Michael %A Smolka, Scott A. %B SPIN %D 2019 %E Biondi, Fabrizio %E Given-Wilson, Thomas %E Legay, Axel %I Springer %K dblp %P 94-113 %T Swarm Model Checking on the GPU. %U http://dblp.uni-trier.de/db/conf/spin/spin2019.html#DeFranciscoCFS19 %V 11636 %@ 978-3-030-30923-7

@inproceedings{conf/spin/DeFranciscoCFS19, added-at = {2023-09-30T00:00:00.000+0200}, author = {DeFrancisco, Richard and Cho, Shenghsun and Ferdman, Michael and Smolka, Scott A.}, biburl = {https://www.bibsonomy.org/bibtex/299fc70708f74828336f2d4c093ad750c/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2019}, editor = {Biondi, Fabrizio and Given-Wilson, Thomas and Legay, Axel}, ee = {https://doi.org/10.1007/978-3-030-30923-7_6}, interhash = {c7df2153bb7adf651721bd278ef02a0e}, intrahash = {99fc70708f74828336f2d4c093ad750c}, isbn = {978-3-030-30923-7}, keywords = {dblp}, pages = {94-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:33:27.000+0200}, title = {Swarm Model Checking on the GPU.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2019.html#DeFranciscoCFS19}, volume = 11636, year = 2019 }