BibTeX record conf/modelsward/FantechiP16

download as .bib file

@inproceedings{DBLP:conf/modelsward/FantechiP16,
  author       = {Alessandro Fantechi and
                  Stefano Pepi},
  editor       = {Antonello Calabr{\`{o}} and
                  Francesca Lonetti and
                  Eda Marchetti},
  title        = {Petri Nets Modeling for the Schedulability Analysis of Industrial
                  Real Time Systems},
  booktitle    = {Proceedings of the International Workshop on domAin specific Model-based
                  AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016,
                  Rome, Italy, February 19-21, 2016},
  pages        = {5--13},
  publisher    = {SciTePress},
  year         = {2016},
  url          = {https://doi.org/10.5220/0005841700050013},
  doi          = {10.5220/0005841700050013},
  timestamp    = {Tue, 23 May 2017 01:10:46 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/FantechiP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics