BibTeX record conf/acsd/TrckaVB11

• > Home > conf/acsd/TrckaVB11

@inproceedings{DBLP:conf/acsd/TrckaVB11,
  author       = {Nikola Trcka and
                  Marc Voorhoeve and
                  Twan Basten},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Parameterized Partial Orders for Modeling Embedded System Use Cases:
                  Formal Definition and Translation to Coloured Petri Nets},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {13--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.14},
  doi          = {10.1109/ACSD.2011.14},
  timestamp    = {Fri, 24 Mar 2023 00:02:37 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/TrckaVB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}