Search dblp for Publications

export results for "toc:db/journals/fmsd/fmsd1.bht:"

 download as .bib file

@article{DBLP:journals/fmsd/AndersenW92,
  author       = {Henrik Reif Andersen and
                  Glynn Winskel},
  title        = {Compositional Checking of Satsfaction},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {4},
  pages        = {323--354},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00709155},
  doi          = {10.1007/BF00709155},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AndersenW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/ChaochenH92,
  author       = {Zhou Chaochen and
                  C. A. R. Hoare},
  title        = {A Model for Synchronous Switching Circuits and its Theory of Correctness},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {1},
  pages        = {7--28},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00464355},
  doi          = {10.1007/BF00464355},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/ChaochenH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CourcoubetisVWY92,
  author       = {Costas Courcoubetis and
                  Moshe Y. Vardi and
                  Pierre Wolper and
                  Mihalis Yannakakis},
  title        = {Memory-Efficient Algorithms for the Verification of Temporal Properties},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {2/3},
  pages        = {275--288},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00121128},
  doi          = {10.1007/BF00121128},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CourcoubetisVWY92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CourcoubetisY92,
  author       = {Costas Courcoubetis and
                  Mihalis Yannakakis},
  title        = {Minimum and Maximum Delay Problems in Real-Time Systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {4},
  pages        = {385--415},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00709157},
  doi          = {10.1007/BF00709157},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CourcoubetisY92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/DillNS92,
  author       = {David L. Dill and
                  Steven M. Nowick and
                  Robert F. Sproull},
  title        = {Specification and Automatic Verification of Self-Timed Queues},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {1},
  pages        = {29--60},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00464356},
  doi          = {10.1007/BF00464356},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/DillNS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FernandezMJJ92,
  author       = {Jean{-}Claude Fernandez and
                  Laurent Mounier and
                  Claude Jard and
                  Thierry J{\'{e}}ron},
  title        = {On-the-fly Verification of Finite Transition Systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {2/3},
  pages        = {251--273},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00121127},
  doi          = {10.1007/BF00121127},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FernandezMJJ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Gupta92,
  author       = {Aarti Gupta},
  title        = {Formal Hardware Verification Methods: {A} Survey},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {2/3},
  pages        = {151--238},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00121125},
  doi          = {10.1007/BF00121125},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/Gupta92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/JainABF92,
  author       = {Jawahar Jain and
                  Jacob A. Abraham and
                  James R. Bitner and
                  Donald S. Fussell},
  title        = {Probabilistic Verification of Boolean Functions},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {1},
  pages        = {61--115},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00464357},
  doi          = {10.1007/BF00464357},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/JainABF92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Loewenstein92,
  author       = {Paul Loewenstein},
  title        = {Verification of a Multiprocessor Cache Protocol Using Simulation Relations
                  and Higher-Order Logic},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {4},
  pages        = {355--383},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00709156},
  doi          = {10.1007/BF00709156},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Loewenstein92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Martin92,
  author       = {Alain J. Martin},
  title        = {Asynchronous Datapaths and the Design of an Asynchronous Adder},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {1},
  pages        = {117--137},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00464358},
  doi          = {10.1007/BF00464358},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Martin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/RoyS92,
  author       = {Val{\'{e}}rie Roy and
                  Robert de Simone},
  title        = {Auto/Autograph},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {2/3},
  pages        = {239--249},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00121126},
  doi          = {10.1007/BF00121126},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/RoyS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Valmari92,
  author       = {Antti Valmari},
  title        = {A Stubborn Attack on State Explosion},
  journal      = {Formal Methods Syst. Des.},
  volume       = {1},
  number       = {4},
  pages        = {297--322},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF00709154},
  doi          = {10.1007/BF00709154},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Valmari92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.