%0 Conference Paper %1 conf/icfp/ClaessenPSHSAW09 %A Claessen, Koen %A Palka, Michal H. %A Smallbone, Nicholas %A Hughes, John %A Svensson, Hans %A Arts, Thomas %A Wiger, Ulf T. %B ICFP %D 2009 %E Hutton, Graham %E Tolmach, Andrew P. %I ACM %K %P 149-160 %T Finding race conditions in Erlang with QuickCheck and PULSE. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2009.html#ClaessenPSHSAW09 %@ 978-1-60558-332-7

@inproceedings{conf/icfp/ClaessenPSHSAW09, added-at = {2023-12-13T06:14:46.000+0100}, author = {Claessen, Koen and Palka, Michal H. and Smallbone, Nicholas and Hughes, John and Svensson, Hans and Arts, Thomas and Wiger, Ulf T.}, biburl = {https://www.bibsonomy.org/bibtex/26175cff79fb33fed602426b3df713043/admin}, booktitle = {ICFP}, crossref = {conf/icfp/2009}, editor = {Hutton, Graham and Tolmach, Andrew P.}, ee = {https://doi.org/10.1145/1596550.1596574}, interhash = {abbc6b3884e26e32333ba598f700b9bb}, intrahash = {6175cff79fb33fed602426b3df713043}, isbn = {978-1-60558-332-7}, keywords = {}, pages = {149-160}, publisher = {ACM}, timestamp = {2023-12-13T06:14:46.000+0100}, title = {Finding race conditions in Erlang with QuickCheck and PULSE.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2009.html#ClaessenPSHSAW09}, year = 2009 }