Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fmsd/AmadioP00,
  author       = {Roberto M. Amadio and
                  Sanjiva Prasad},
  title        = {Modelling {IP} Mobility},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {1},
  pages        = {61--99},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008734618526},
  doi          = {10.1023/A:1008734618526},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AmadioP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BarbutiFSV00,
  author       = {Roberto Barbuti and
                  Nicoletta De Francesco and
                  Antonella Santone and
                  Gigliola Vaglini},
  title        = {Logic Based Abstractions of Real-Time Systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {3},
  pages        = {201--220},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026534200187},
  doi          = {10.1023/A:1026534200187},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BarbutiFSV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/BerryS00,
  author       = {G{\'{e}}rard Berry and
                  Ellen Sentovich},
  title        = {An Implementation of Constructive Synchronous Programs in {POLIS}},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {2},
  pages        = {135--161},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008796718837},
  doi          = {10.1023/A:1008796718837},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BerryS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/CamposCG00,
  author       = {S{\'{e}}rgio Vale Aguiar Campos and
                  Edmund M. Clarke and
                  Orna Grumberg},
  title        = {Selective Quantitative Analysis and Interval Model Checking: Verifying
                  Different Facets of a System},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {2},
  pages        = {163--192},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008713601998},
  doi          = {10.1023/A:1008713601998},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/CamposCG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Mendler00,
  author       = {Michael Mendler},
  title        = {Timing Analysis of Combinational Circuits in Intuitionistic Propositional
                  Logic},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {1},
  pages        = {5--37},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008780817617},
  doi          = {10.1023/A:1008780817617},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Mendler00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Monin00,
  author       = {Jean{-}Fran{\c{c}}ois Monin},
  title        = {Proving the Correctness of the Standardized Algorithm for {ABR} Conformance},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {3},
  pages        = {221--243},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026586217026},
  doi          = {10.1023/A:1026586217026},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Monin00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/QuerCCLSB00,
  author       = {Stefano Quer and
                  Gianpiero Cabodi and
                  Paolo Camurati and
                  Luciano Lavagno and
                  Ellen Sentovich and
                  Robert K. Brayton},
  title        = {Verification of Similar FSMs by Mixing Incremental Re-encoding, Reachability
                  Analysis, and Combinational Checks},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {2},
  pages        = {107--134},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008748802907},
  doi          = {10.1023/A:1008748802907},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fmsd/QuerCCLSB00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/SabatierL00,
  author       = {Denis Sabatier and
                  Pierre Lartigue},
  title        = {The Use of the {B} Formal Method for the Design and the Validation
                  of the Transaction Mechanism for Smart Card Applications},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {3},
  pages        = {245--272},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026538301096},
  doi          = {10.1023/A:1026538301096},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/SabatierL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/Wang00,
  author       = {Farn Wang},
  title        = {Parametric Analysis of Computer Systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {1},
  pages        = {39--60},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008782501688},
  doi          = {10.1023/A:1008782501688},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/Wang00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/WingW00,
  author       = {Jeannette M. Wing and
                  Jim Woodcock},
  title        = {Introduction: Special Issues for FM'99, the First World Congress on
                  Formal Methods in the Development of Computing Systems},
  journal      = {Formal Methods Syst. Des.},
  volume       = {17},
  number       = {3},
  pages        = {199--200},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1026521916117},
  doi          = {10.1023/A:1026521916117},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/WingW00.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.