Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fmsd/AlurH99a,
  author       = {Rajeev Alur and
                  Thomas A. Henzinger},
  title        = {Introduction},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {1},
  pages        = {5},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008749012643},
  doi          = {10.1023/A:1008749012643},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AlurH99a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/AlurH99b,
  author       = {Rajeev Alur and
                  Thomas A. Henzinger},
  title        = {Reactive Modules},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {1},
  pages        = {7--48},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008739929481},
  doi          = {10.1023/A:1008739929481},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AlurH99b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BasinF99,
  author       = {David A. Basin and
                  Stefan Friedrich},
  title        = {Modeling a Hardware Synthesis Methodology in Isabelle},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {2},
  pages        = {99--122},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008758500273},
  doi          = {10.1023/A:1008758500273},
  timestamp    = {Mon, 22 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BasinF99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BensalemL99,
  author       = {Saddek Bensalem and
                  Yassine Lakhnech},
  title        = {Automatic Generation of Invariants},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {1},
  pages        = {75--92},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008744030390},
  doi          = {10.1023/A:1008744030390},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BensalemL99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/GyurisS99,
  author       = {Viktor Gyuris and
                  A. Prasad Sistla},
  title        = {On-the-Fly Model Checking Under Fairness that Exploits Symmetry},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {3},
  pages        = {217--238},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008701202999},
  doi          = {10.1023/A:1008701202999},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/GyurisS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KurshanMOS99,
  author       = {Robert P. Kurshan and
                  Michael Merritt and
                  Ariel Orda and
                  Sonia R. Sachs},
  title        = {Modelling Asynchrony with a Synchronous Model},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {3},
  pages        = {175--199},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008792918020},
  doi          = {10.1023/A:1008792918020},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KurshanMOS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PinzonHJB99,
  author       = {Luz E. Pinzon and
                  Hans{-}Michael Hanisch and
                  Mohsen A. Jafari and
                  Thomas O. Boucher},
  title        = {A Comparative Study of Synthesis Methods for Discrete Event Controllers},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {2},
  pages        = {123--167},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008740917111},
  doi          = {10.1023/A:1008740917111},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/PinzonHJB99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Schmidt99,
  author       = {Karsten Schmidt},
  title        = {Model-Checking with Coverability Graphs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {3},
  pages        = {239--254},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008753219837},
  doi          = {10.1023/A:1008753219837},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Schmidt99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SipmaUM99,
  author       = {Henny Sipma and
                  Tom{\'{a}}s E. Uribe and
                  Zohar Manna},
  title        = {Deductive Model Checking},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {1},
  pages        = {49--74},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008791913551},
  doi          = {10.1023/A:1008791913551},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SipmaUM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/StoddartDG99,
  author       = {Bill Stoddart and
                  Steve Dunne and
                  Andy Galloway},
  title        = {Undefined Expressions and Logic in {Z} and {B}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {15},
  number       = {3},
  pages        = {201--215},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1008797018928},
  doi          = {10.1023/A:1008797018928},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/StoddartDG99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}