%0 Conference Paper %1 conf/tase/PunSS14 %A Pun, Ka I %A Steffen, Martin %A Stolz, Volker %B TASE %D 2014 %I IEEE Computer Society %K %P 106-113 %T Behaviour Inference for Deadlock Checking. %U http://dblp.uni-trier.de/db/conf/tase/tase2014.html#PunSS14 %@ 978-1-4799-5029-4

@inproceedings{conf/tase/PunSS14, added-at = {2023-12-12T17:30:44.000+0100}, author = {Pun, Ka I and Steffen, Martin and Stolz, Volker}, biburl = {https://www.bibsonomy.org/bibtex/2fd9aed217aeed0fbec5723589b6e29ed/admin}, booktitle = {TASE}, crossref = {conf/tase/2014}, ee = {http://dx.doi.org/10.1109/TASE.2014.23}, interhash = {04bf27b97e4032be1dafd380d82058c7}, intrahash = {fd9aed217aeed0fbec5723589b6e29ed}, isbn = {978-1-4799-5029-4}, keywords = {}, pages = {106-113}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T17:30:44.000+0100}, title = {Behaviour Inference for Deadlock Checking.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2014.html#PunSS14}, year = 2014 }