Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/BaileyMM94,
  author       = {Andrew M. Bailey and
                  George Alexander McCaskill and
                  George J. Milne},
  title        = {An Exercise in the Automatic Verification of Asynchronous Designs},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {3},
  pages        = {213--242},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384047},
  doi          = {10.1007/BF01384047},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BaileyMM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FantechiGR94,
  author       = {Alessandro Fantechi and
                  Stefania Gnesi and
                  Gioia Ristori},
  title        = {Model Checking for Action-Based Logics},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {2},
  pages        = {187--203},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384084},
  doi          = {10.1007/BF01384084},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FantechiGR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FantechiGRCVM94,
  author       = {Alessandro Fantechi and
                  Stefania Gnesi and
                  Gioia Ristori and
                  Michele Carenini and
                  Massimo Vanocchi and
                  Paolo Moreschini},
  title        = {Assisting Requirement Formalization by Means of Natural Language Translation},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {3},
  pages        = {243--263},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384048},
  doi          = {10.1007/BF01384048},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FantechiGRCVM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/FischerS94,
  author       = {Siegfried Fischer and
                  Andreas Scholz},
  title        = {Verification in Process Algebra of the Distributed Control of Track
                  Vehicles - {A} Case Study},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {2},
  pages        = {99--122},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384080},
  doi          = {10.1007/BF01384080},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/FischerS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/HarknessW94,
  author       = {Cheryl Harkness and
                  Elizabeth Wolf},
  title        = {Verifying the Summit Bus Converter Protocols with Symbolic Model Checking},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {2},
  pages        = {83--97},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384079},
  doi          = {10.1007/BF01384079},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/HarknessW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/KishinevskyKTV94,
  author       = {Michael Kishinevsky and
                  Alex Kondratyev and
                  Alexander Taubin and
                  Victor Varshavsky},
  title        = {Analysis and Identification of Speed-Independent Circuits on an Event
                  Model},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {1},
  pages        = {33--75},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01383956},
  doi          = {10.1007/BF01383956},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/KishinevskyKTV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PlessierHS94,
  author       = {Bernard Plessier and
                  Gary D. Hachtel and
                  Fabio Somenzi},
  title        = {Extended BDDs: Trading off Canonicity for Structure in Verification
                  Algorithms},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {2},
  pages        = {167--185},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384083},
  doi          = {10.1007/BF01384083},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/PlessierHS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/PortaS94,
  author       = {Thomas F. La Porta and
                  Mischa Schwartz},
  title        = {Verification of the MultiStream Potocol {(MSP)} Using {COSPAN}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {2},
  pages        = {123--153},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384081},
  doi          = {10.1007/BF01384081},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/PortaS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Rovers94,
  author       = {W. M. H. M. Rovers},
  title        = {Description of a Design Management System for the {P-ASIC} Design
                  Flow Using {EXPDL}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {2},
  pages        = {155--166},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384082},
  doi          = {10.1007/BF01384082},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Rovers94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Stavridou94,
  author       = {Victoria Stavridou},
  title        = {Gordon's Computer: {A} Hardware Verification Case Study in {OBJ3}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {3},
  pages        = {265--310},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01384049},
  doi          = {10.1007/BF01384049},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Stavridou94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/VerkestCM94,
  author       = {Diederik Verkest and
                  Luc J. M. Claesen and
                  Hugo De Man},
  title        = {A Proof of the Nonrestoring Division Algorithm and its Implementation
                  on an {ALU}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {4},
  number       = {1},
  pages        = {5--31},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01383955},
  doi          = {10.1007/BF01383955},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/VerkestCM94.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.