BibTeX record conf/ictac/AndersenAEHLOSW15

• > Home > conf/ictac/AndersenAEHLOSW15

@inproceedings{DBLP:conf/ictac/AndersenAEHLOSW15,
  author       = {Jesper Rank Andersen and
                  Nicklas Andersen and
                  S{\o}ren Enevoldsen and
                  Mathias M. Hansen and
                  Kim G. Larsen and
                  Simon R. Olesen and
                  Jir{\'{\i}} Srba and
                  Jacob K. Wortmann},
  editor       = {Martin Leucker and
                  Camilo Rueda and
                  Frank D. Valencia},
  title        = {{CAAL:} Concurrency Workbench, Aalborg Edition},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
                  Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9399},
  pages        = {573--582},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25150-9\_33},
  doi          = {10.1007/978-3-319-25150-9\_33},
  timestamp    = {Tue, 21 Mar 2023 21:02:46 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/AndersenAEHLOSW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}