On the deadlock analysis of multithreaded control software (bibtex)
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},
}
Powered by bibtexbrowser