%0 Conference Paper %1 conf/spin/EdelkampS10 %A Edelkamp, Stefan %A Sulewski, Damian %B SPIN %D 2010 %E van de Pol, Jaco %E Weber, Michael %I Springer %K dblp %P 106-123 %T Efficient Explicit-State Model Checking on General Purpose Graphics Processors. %U http://dblp.uni-trier.de/db/conf/spin/spin2010.html#EdelkampS10 %V 6349 %@ 978-3-642-16163-6

@inproceedings{conf/spin/EdelkampS10, added-at = {2017-05-17T00:00:00.000+0200}, author = {Edelkamp, Stefan and Sulewski, Damian}, biburl = {https://www.bibsonomy.org/bibtex/2e7b7eadbe8d5173a28eb9b95c85ac980/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2010}, editor = {van de Pol, Jaco and Weber, Michael}, ee = {https://doi.org/10.1007/978-3-642-16164-3_8}, interhash = {0c04d34ac8389f1a9c4d7ad69ca29999}, intrahash = {e7b7eadbe8d5173a28eb9b95c85ac980}, isbn = {978-3-642-16163-6}, keywords = {dblp}, pages = {106-123}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:05:53.000+0200}, title = {Efficient Explicit-State Model Checking on General Purpose Graphics Processors.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2010.html#EdelkampS10}, volume = 6349, year = 2010 }