BibTeX record conf/icsoft/TruscanVKI14

• > Home > conf/icsoft/TruscanVKI14

@inproceedings{DBLP:conf/icsoft/TruscanVKI14,
  author       = {Dragos Truscan and
                  J{\"{u}}ri Vain and
                  Martin Koskinen and
                  Junaid Iqbal},
  editor       = {Andreas Holzinger and
                  Jorge Cardoso and
                  Jos{\'{e}} Cordeiro and
                  Th{\'{e}}r{\`{e}}se Libourel and
                  Leszek A. Maciaszek and
                  Marten van Sinderen},
  title        = {A Tool-Supported Approach for Introducing Aspects in {UPPAAL} Timed
                  Automata},
  booktitle    = {Software Technologies - 9th International Joint Conference, {ICSOFT}
                  2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {555},
  pages        = {349--364},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-25579-8\_20},
  doi          = {10.1007/978-3-319-25579-8\_20},
  timestamp    = {Thu, 03 Feb 2022 09:27:49 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoft/TruscanVKI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}