by Juan-Pablo López-Grao and José-Manuel Colom
Reference:
On the deadlock analysis of multithreaded control software (Juan-Pablo López-Grao and José-Manuel Colom), In IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 (Zoubir Mammeri, ed.), IEEE, 2011.
Bibtex Entry:
@InProceedings{Lopez-Grao2011,
author = {Juan{-}Pablo L{\'{o}}pez{-}Grao and Jos{\'{e}}-Manuel Colom},
booktitle = {{IEEE} 16th Conference on Emerging Technologies {\&} Factory Automation, {ETFA} 2011, Toulouse, France, September 5-9, 2011},
title = {On the deadlock analysis of multithreaded control software},
year = {2011},
editor = {Zoubir Mammeri},
pages = {1--8},
publisher = {{IEEE}},
doi = {10.1109/ETFA.2011.6059039},
groups = {silarri:6},
isbn = {978-1-4577-0018-7},
keywords = {Petri Net Structure Theory, Resource Allocation Systems, Petri Net Analysis, Petri Net Modelling, Petri Net Synthesis, Software Systems},
url = {https://doi.org/10.1109/ETFA.2011.6059039},
}