%0 Conference Paper %1 LopezColom11 %A Lopez-Grao, J. %A Colom, J. %B Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference on %D 2011 %I IEEE %K analysis, citas, citeulike deadlock, nets, petri, referencias, software %P 1--8 %R 10.1109/etfa.2011.6059039 %T On the deadlock analysis of multithreaded control software %U http://dx.doi.org/10.1109/etfa.2011.6059039 %@ 978-1-4577-0017-0

@inproceedings{LopezColom11, added-at = {2017-09-08T10:52:59.000+0200}, author = {Lopez-Grao, J. and Colom, J.}, biburl = {https://www.bibsonomy.org/bibtex/262ed8430741c81db3299280b3c60485a/fernand0}, booktitle = {Emerging Technologies \& Factory Automation (ETFA), 2011 IEEE 16th Conference on}, citeulike-article-id = {12615882}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/etfa.2011.6059039}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6059039}, doi = {10.1109/etfa.2011.6059039}, institution = {Dept. of Comput. Sci. \& Syst. Eng., Univ. of Zaragoza, Zaragoza, Spain}, interhash = {2679fe85d1f10e74069cc47f6cff733c}, intrahash = {62ed8430741c81db3299280b3c60485a}, isbn = {978-1-4577-0017-0}, issn = {1946-0740}, keywords = {analysis, citas, citeulike deadlock, nets, petri, referencias, software}, pages = {1--8}, posted-at = {2013-09-11 17:41:56}, priority = {2}, publisher = {IEEE}, timestamp = {2017-09-08T10:53:23.000+0200}, title = {{On the deadlock analysis of multithreaded control software}}, url = {http://dx.doi.org/10.1109/etfa.2011.6059039}, year = 2011 }