Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/fmsd/fmsd10.bht:"
@article{DBLP:journals/fmsd/BaharFGHMPS97, author = {R. Iris Bahar and Erica A. Frohm and Charles M. Gaona and Gary D. Hachtel and Enrico Macii and Abelardo Pardo and Fabio Somenzi}, title = {Algebraic Decision Diagrams and Their Applications}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {2/3}, pages = {171--206}, year = {1997}, url = {https://doi.org/10.1023/A:1008699807402}, doi = {10.1023/A:1008699807402}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/BaharFGHMPS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/Clarke97, author = {Edmund M. Clarke}, title = {Editorial}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {1}, pages = {5}, year = {1997}, url = {https://doi.org/10.1023/A:1008659413372}, doi = {10.1023/A:1008659413372}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/Clarke97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ClarkeGH97, author = {Edmund M. Clarke and Orna Grumberg and Kiyoharu Hamaguchi}, title = {Another Look at {LTL} Model Checking}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {1}, pages = {47--71}, year = {1997}, url = {https://doi.org/10.1023/A:1008615614281}, doi = {10.1023/A:1008615614281}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/ClarkeGH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/ClarkeMZFY97, author = {Edmund M. Clarke and Kenneth L. McMillan and Xudong Zhao and Masahiro Fujita and Jerry Chih{-}Yuan Yang}, title = {Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {2/3}, pages = {137--148}, year = {1997}, url = {https://doi.org/10.1023/A:1008695706493}, doi = {10.1023/A:1008695706493}, timestamp = {Tue, 17 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/ClarkeMZFY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/CorellaZSLC97, author = {Francisco Corella and Zijian Zhou and Xiaoyu Song and Michel Langevin and Eduard Cerny}, title = {Multiway Decision Graphs for Automated Hardware Verification}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {1}, pages = {7--46}, year = {1997}, url = {https://doi.org/10.1023/A:1008663530211}, doi = {10.1023/A:1008663530211}, timestamp = {Mon, 18 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/CorellaZSLC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/CyreT97, author = {Walling R. Cyre and Aniruddha R. Thakar}, title = {Generating Validation Feedback for Automatic Interpretation of Informal Requirements}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {1}, pages = {73--92}, year = {1997}, url = {https://doi.org/10.1023/A:1008687607689}, doi = {10.1023/A:1008687607689}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/CyreT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/FujitaM97, author = {Masahiro Fujita and Patrick C. McGeer}, title = {Introduction to the Special Issue on Multi-Terminal Binary Decision Diagrams}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {2/3}, pages = {135--136}, year = {1997}, url = {https://doi.org/10.1023/A:1008658421514}, doi = {10.1023/A:1008658421514}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/FujitaM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/FujitaMY97, author = {Masahiro Fujita and Patrick C. McGeer and Jerry Chih{-}Yuan Yang}, title = {Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {2/3}, pages = {149--169}, year = {1997}, url = {https://doi.org/10.1023/A:1008647823331}, doi = {10.1023/A:1008647823331}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/FujitaMY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HachtelS97, author = {Gary D. Hachtel and Fabio Somenzi}, title = {A Symbolic Algorithms for Maximum Flow in 0-1 Networks}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {2/3}, pages = {207--219}, year = {1997}, url = {https://doi.org/10.1023/A:1008651924240}, doi = {10.1023/A:1008651924240}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/HachtelS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/MerrittOS97, author = {Michael Merritt and Ariel Orda and Sonia R. Sachs}, title = {Formal Verification of a Distributed Computer System}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {1}, pages = {93--125}, year = {1997}, url = {https://doi.org/10.1023/A:1008667631119}, doi = {10.1023/A:1008667631119}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/MerrittOS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/MinatoS97, author = {Shin{-}ichi Minato and Fabio Somenzi}, title = {Arithmetic Boolean Expression Manipulator Using BDDs}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {2/3}, pages = {221--242}, year = {1997}, url = {https://doi.org/10.1023/A:1008643722423}, doi = {10.1023/A:1008643722423}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/MinatoS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/TafertshoferP97, author = {Paul Tafertshofer and Massoud Pedram}, title = {Factored Edge-Valued Binary Decision Diagrams}, journal = {Formal Methods Syst. Des.}, volume = {10}, number = {2/3}, pages = {243--270}, year = {1997}, url = {https://doi.org/10.1023/A:1008691605584}, doi = {10.1023/A:1008691605584}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/TafertshoferP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.