Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jlp/AbdullaLdR06,
  author       = {Parosh Aziz Abdulla and
                  Axel Legay and
                  Julien d'Orso and
                  Ahmed Rezine},
  title        = {Tree regular model checking: {A} simulation-based approach},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {69},
  number       = {1-2},
  pages        = {93--121},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jlap.2006.02.001},
  doi          = {10.1016/J.JLAP.2006.02.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/AbdullaLdR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/MassinkLG06,
  author       = {Mieke Massink and
                  Diego Latella and
                  Stefania Gnesi},
  title        = {On testing {UML} statecharts},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {69},
  number       = {1-2},
  pages        = {1--74},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jlap.2006.03.001},
  doi          = {10.1016/J.JLAP.2006.03.001},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/MassinkLG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/Steggles06,
  author       = {L. Jason Steggles},
  title        = {Verifying an infinite systolic algorithm using third-order equational
                  methods},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {69},
  number       = {1-2},
  pages        = {75--92},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jlap.2005.10.006},
  doi          = {10.1016/J.JLAP.2005.10.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/Steggles06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}