Search dblp for Publications

export results for "toc:db/journals/scp/scp123.bht:"

 download as .bib file

@article{DBLP:journals/scl/BeoharVM16,
  author       = {Harsh Beohar and
                  Mahsa Varshosaz and
                  Mohammad Reza Mousavi},
  title        = {Basic behavioral models for software product lines: Expressiveness
                  and testing pre-orders},
  journal      = {Sci. Comput. Program.},
  volume       = {123},
  pages        = {42--60},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2015.06.005},
  doi          = {10.1016/J.SCICO.2015.06.005},
  timestamp    = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scl/BeoharVM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scl/FalconeJMP16,
  author       = {Yli{\`{e}}s Falcone and
                  Thierry J{\'{e}}ron and
                  Herv{\'{e}} Marchand and
                  Srinivas Pinisetty},
  title        = {Runtime enforcement of regular timed properties by suppressing and
                  delaying events},
  journal      = {Sci. Comput. Program.},
  volume       = {123},
  pages        = {2--41},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.02.008},
  doi          = {10.1016/J.SCICO.2016.02.008},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scl/FalconeJMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scl/PangS16,
  author       = {Jun Pang and
                  Mari{\"{e}}lle Stoelinga},
  title        = {Selected and extended papers from {ACM} {SVT} 2014},
  journal      = {Sci. Comput. Program.},
  volume       = {123},
  pages        = {1},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.scico.2016.03.002},
  doi          = {10.1016/J.SCICO.2016.03.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scl/PangS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics