Search dblp for Publications

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

 download as .bib file

@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}
}
@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}
}
@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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics