BibTeX record conf/acsd/LauniainenHJ10

download as .bib file

@inproceedings{DBLP:conf/acsd/LauniainenHJ10,
  author    = {Tuomas Launiainen and
               Keijo Heljanko and
               Tommi A. Junttila},
  editor    = {Lu{\'{\i}}s Gomes and
               Victor Khomenko and
               Jo{\~{a}}o M. Fernandes},
  title     = {Efficient Model Checking of {PSL} Safety Properties},
  booktitle = {10th International Conference on Application of Concurrency to System
               Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
  pages     = {95--104},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/ACSD.2010.27},
  doi       = {10.1109/ACSD.2010.27},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/LauniainenHJ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics