Search dblp for Publications

• > Home > Search

@article{DBLP:journals/scp/Hierons19,
  author       = {Robert M. Hierons},
  title        = {{FSM} quasi-equivalence testing via reduction and observing absences},
  journal      = {Sci. Comput. Program.},
  volume       = {177},
  pages        = {1--18},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.03.004},
  doi          = {10.1016/J.SCICO.2019.03.004},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Hierons19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/LiZJS19,
  author       = {Yi Li and
                  Xiyue Zhang and
                  Yuanyi Ji and
                  Meng Sun},
  title        = {A formal framework capturing real-time and stochastic behavior in
                  connectors},
  journal      = {Sci. Comput. Program.},
  volume       = {177},
  pages        = {19--40},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.02.005},
  doi          = {10.1016/J.SCICO.2019.02.005},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LiZJS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/scp/Sabahi-KavianiG19,
  author       = {Zeynab Sabahi{-}Kaviani and
                  Fatemeh Ghassemi},
  title        = {Behavioral model identification and classification of multi-component
                  systems},
  journal      = {Sci. Comput. Program.},
  volume       = {177},
  pages        = {41--66},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.03.003},
  doi          = {10.1016/J.SCICO.2019.03.003},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/Sabahi-KavianiG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}