%0 Conference Paper %1 conf/rv/MutluGCTU14 %A Mutlu, Erdal %A Gajinov, Vladimir %A Cristal, Adrián %A Tasiran, Serdar %A Unsal, Osman S. %B RV %D 2014 %E Bonakdarpour, Borzoo %E Smolka, Scott A. %I Springer %K dblp %P 156-161 %T Dynamic Verification for Hybrid Concurrent Programming Models. %U http://dblp.uni-trier.de/db/conf/rv/rv2014.html#MutluGCTU14 %V 8734 %@ 978-3-319-11163-6

@inproceedings{conf/rv/MutluGCTU14, added-at = {2017-05-17T00:00:00.000+0200}, author = {Mutlu, Erdal and Gajinov, Vladimir and Cristal, Adrián and Tasiran, Serdar and Unsal, Osman S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/210dc9d0834a0ccadf17027f30c41254c/dblp}, booktitle = {RV}, crossref = {conf/rv/2014}, editor = {Bonakdarpour, Borzoo and Smolka, Scott A.}, ee = {https://doi.org/10.1007/978-3-319-11164-3_13}, interhash = {ff04378bca56aec463aca69cb6712868}, intrahash = {10dc9d0834a0ccadf17027f30c41254c}, isbn = {978-3-319-11163-6}, keywords = {dblp}, pages = {156-161}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:01:45.000+0200}, title = {Dynamic Verification for Hybrid Concurrent Programming Models.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2014.html#MutluGCTU14}, volume = 8734, year = 2014 }