A model-based approach for the specification and verification of clinical guidelines (bibtex)

by Simona Bernardi, José-Manuel Colom, Jorge Albareda and Cristian Mahulea

Reference:

A model-based approach for the specification and verification of clinical guidelines (Simona Bernardi, José-Manuel Colom, Jorge Albareda and Cristian Mahulea), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio Martínez, eds.), IEEE, 2014.

Bibtex Entry:

@InProceedings{Bernardi2014,
  author    = {Simona Bernardi and Jos{\'{e}}-Manuel Colom and Jorge Albareda and Cristian Mahulea},
  booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation, {ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
  title     = {A model-based approach for the specification and verification of clinical guidelines},
  year      = {2014},
  editor    = {Antoni Grau and Herminio Mart{\'{\i}}nez},
  pages     = {1--8},
  publisher = {{IEEE}},
  doi       = {10.1109/ETFA.2014.7005058},
  groups    = {silarri:6},
  isbn      = {978-1-4799-4846-8},
  keywords  = {Petri Net Structure Theory, Resource Allocation Systems, Petri Net Analysis, Healthcare Systems, Petri Net Modelling},
  url       = {https://doi.org/10.1109/ETFA.2014.7005058},
}