BibTeX record conf/icist/GuellatiKMS14

• > Home > conf/icist/GuellatiKMS14

@inproceedings{DBLP:conf/icist/GuellatiKMS14,
  author       = {Souad Guellati and
                  Ilham Kitouni and
                  Riadh Matmat and
                  Djamel{-}Eddine Sa{\"{\i}}douni},
  editor       = {Giedre Dregvaite and
                  Robertas Damasevicius},
  title        = {Timed Automata with Action Durations - From Theory to Implementation},
  booktitle    = {Information and Software Technologies - 20th International Conference,
                  {ICIST} 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {465},
  pages        = {94--109},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11958-8\_8},
  doi          = {10.1007/978-3-319-11958-8\_8},
  timestamp    = {Wed, 17 May 2017 14:24:26 +0200},
  biburl       = {https://dblp.org/rec/conf/icist/GuellatiKMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}