%0 Conference Paper %1 conf/concur/FuggerW12 %A Függer, Matthias %A Widder, Josef %B CONCUR %D 2012 %E Koutny, Maciej %E Ulidowski, Irek %I Springer %K dblp %P 486-499 %T Efficient Checking of Link-Reversal-Based Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur2012.html#FuggerW12 %V 7454 %@ 978-3-642-32939-5

@inproceedings{conf/concur/FuggerW12, added-at = {2017-06-15T00:00:00.000+0200}, author = {Függer, Matthias and Widder, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2c4346ddebe3ea1dbf13b3210f5a66017/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2012}, editor = {Koutny, Maciej and Ulidowski, Irek}, ee = {https://doi.org/10.1007/978-3-642-32940-1_34}, interhash = {55255e8db252250211aca0157120281b}, intrahash = {c4346ddebe3ea1dbf13b3210f5a66017}, isbn = {978-3-642-32939-5}, keywords = {dblp}, pages = {486-499}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:57:03.000+0200}, title = {Efficient Checking of Link-Reversal-Based Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2012.html#FuggerW12}, volume = 7454, year = 2012 }