BibTeX record conf/csoc/CicirelliNS16

• > Home > conf/csoc/CicirelliNS16

@inproceedings{DBLP:conf/csoc/CicirelliNS16,
  author       = {Franco Cicirelli and
                  Libero Nigro and
                  Paolo F. Sciammarella},
  editor       = {Radek Silhavy and
                  Roman Senkerik and
                  Zuzana Kom{\'{\i}}nkov{\'{a}} Oplatkov{\'{a}} and
                  Petr Silhavy and
                  Zdenka Prokopova},
  title        = {Model Checking Mutual Exclusion Algorithms Using Uppaal},
  booktitle    = {Software Engineering Perspectives and Application in Intelligent Systems
                  - Proceedings of the 5th Computer Science On-line Conference 2016
                  (CSOC2016), Vol 2},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {465},
  pages        = {203--215},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-33622-0\_19},
  doi          = {10.1007/978-3-319-33622-0\_19},
  timestamp    = {Tue, 04 Feb 2020 18:06:41 +0100},
  biburl       = {https://dblp.org/rec/conf/csoc/CicirelliNS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}