Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fmsd/BeerelBM98,
  author       = {Peter A. Beerel and
                  Jerry R. Burch and
                  Teresa H. Meng},
  title        = {Checking Combinational Equivalence of Speed-Independent Circuits},
  journal      = {Formal Methods Syst. Des.},
  volume       = {13},
  number       = {1},
  pages        = {37--85},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008666605437},
  doi          = {10.1023/A:1008666605437},
  timestamp    = {Mon, 20 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/BeerelBM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Broy98,
  author       = {Manfred Broy},
  title        = {A Functional Rephrasing of the Assumption/Commitment Specification
                  Style},
  journal      = {Formal Methods Syst. Des.},
  volume       = {13},
  number       = {1},
  pages        = {87--119},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008618722275},
  doi          = {10.1023/A:1008618722275},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Broy98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Holzmann98,
  author       = {Gerard J. Holzmann},
  title        = {An Analysis of Bitstate Hashing},
  journal      = {Formal Methods Syst. Des.},
  volume       = {13},
  number       = {3},
  pages        = {289--307},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008696026254},
  doi          = {10.1023/A:1008696026254},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Holzmann98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KapurS98,
  author       = {Deepak Kapur and
                  Mahadevan Subramaniam},
  title        = {Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory},
  journal      = {Formal Methods Syst. Des.},
  volume       = {13},
  number       = {2},
  pages        = {127--158},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008610818519},
  doi          = {10.1023/A:1008610818519},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KapurS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SchroerW98,
  author       = {Olaf Schr{\"{o}}er and
                  Ingo Wegener},
  title        = {The Theory of Zero-Suppressed BDDs and the Number of Knight's Tours},
  journal      = {Formal Methods Syst. Des.},
  volume       = {13},
  number       = {3},
  pages        = {235--253},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008681625346},
  doi          = {10.1023/A:1008681625346},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SchroerW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/TaharK98,
  author       = {Sofi{\`{e}}ne Tahar and
                  Ramayya Kumar},
  title        = {A Practical Methodology for the Formal Verification of {RISC} Processors},
  journal      = {Formal Methods Syst. Des.},
  volume       = {13},
  number       = {2},
  pages        = {159--225},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008622002590},
  doi          = {10.1023/A:1008622002590},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/TaharK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/WaldenS98,
  author       = {Marina Wald{\'{e}}n and
                  Kaisa Sere},
  title        = {Reasoning about Action Systems using the B-Method},
  journal      = {Formal Methods Syst. Des.},
  volume       = {13},
  number       = {1},
  pages        = {5--35},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1008688421367},
  doi          = {10.1023/A:1008688421367},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/WaldenS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}