Search dblp for Publications

export results for "toc:db/conf/cav/cav94.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cav/AlurFH94,
  author       = {Rajeev Alur and
                  Limor Fix and
                  Thomas A. Henzinger},
  editor       = {David L. Dill},
  title        = {A Determinizable Class of Timed Automata},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {1--13},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_39},
  doi          = {10.1007/3-540-58179-0\_39},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlurFH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AnuchitanukulM94,
  author       = {Anuchit Anuchitanukul and
                  Zohar Manna},
  editor       = {David L. Dill},
  title        = {Realizability and Synthesis of Reactive Modules},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {156--168},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_51},
  doi          = {10.1007/3-540-58179-0\_51},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AnuchitanukulM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/AzizSS94,
  author       = {Adnan Aziz and
                  Thomas R. Shiple and
                  Vigyan Singhal},
  editor       = {David L. Dill},
  title        = {Formula-Dependent Equivalence for Compositional {CTL} Model Checking},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {324--337},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_65},
  doi          = {10.1007/3-540-58179-0\_65},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AzizSS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BalarinS94,
  author       = {Felice Balarin and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {David L. Dill},
  title        = {On the Automatic Computation of Network Invariants},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {234--246},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_58},
  doi          = {10.1007/3-540-58179-0\_58},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BalarinS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BeerBGGY94,
  author       = {Ilan Beer and
                  Shoham Ben{-}David and
                  Daniel Geist and
                  Raanan Gewirtzman and
                  Michael Yoeli},
  editor       = {David L. Dill},
  title        = {Methodology and System for Practical Formal Verification of Reactive
                  Hardware},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {182--193},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_53},
  doi          = {10.1007/3-540-58179-0\_53},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BeerBGGY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BernholtzVW94,
  author       = {Orna Bernholtz and
                  Moshe Y. Vardi and
                  Pierre Wolper},
  editor       = {David L. Dill},
  title        = {An Automata-Theoretic Approach to Branching-Time Model Checking (Extended
                  Abstract)},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {142--155},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_50},
  doi          = {10.1007/3-540-58179-0\_50},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BernholtzVW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BoigelotW94,
  author       = {Bernard Boigelot and
                  Pierre Wolper},
  editor       = {David L. Dill},
  title        = {Symbolic Verification with Periodic Sets},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {55--67},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_43},
  doi          = {10.1007/3-540-58179-0\_43},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/BoigelotW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BouajjaniER94,
  author       = {Ahmed Bouajjani and
                  Rachid Echahed and
                  Riadh Robbana},
  editor       = {David L. Dill},
  title        = {Verification of Context-Free Timed Systems Using Linear Hybrid Observers},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {118--131},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_48},
  doi          = {10.1007/3-540-58179-0\_48},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BouajjaniER94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BurchD94,
  author       = {Jerry R. Burch and
                  David L. Dill},
  editor       = {David L. Dill},
  title        = {Automatic verification of Pipelined Microprocessor Control},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {68--80},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_44},
  doi          = {10.1007/3-540-58179-0\_44},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BurchD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ClarkeGH94,
  author       = {Edmund M. Clarke and
                  Orna Grumberg and
                  Kiyoharu Hamaguchi},
  editor       = {David L. Dill},
  title        = {Another Look at {LTL} Model Checking},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {415--427},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_72},
  doi          = {10.1007/3-540-58179-0\_72},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ClarkeGH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CousinH94,
  author       = {Bernard Cousin and
                  Jean{-}Michel H{\'{e}}lary},
  editor       = {David L. Dill},
  title        = {Performance Improvement of State Space Exploration by Regular {\&}
                  Diffrential Hashing Functions},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {364--376},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_68},
  doi          = {10.1007/3-540-58179-0\_68},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CousinH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CyrlukN94,
  author       = {David Cyrluk and
                  Paliath Narendran},
  editor       = {David L. Dill},
  title        = {Ground Temporal Logic: {A} Logic for Hardware Verification},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {247--259},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_59},
  doi          = {10.1007/3-540-58179-0\_59},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CyrlukN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DamsGDHKP94,
  author       = {Dennis Dams and
                  Rob Gerth and
                  Gert D{\"{o}}hmen and
                  Ronald Herrmann and
                  Peter Kelb and
                  Hergen Pargmann},
  editor       = {David L. Dill},
  title        = {Model Checking Using Adaptive State and Data Abstraction},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {455--467},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_75},
  doi          = {10.1007/3-540-58179-0\_75},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DamsGDHKP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GeistB94,
  author       = {Daniel Geist and
                  Ilan Beer},
  editor       = {David L. Dill},
  title        = {Efficient Model Checking by Automated Ordering of Transition Relation
                  Partitions},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {299--310},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_63},
  doi          = {10.1007/3-540-58179-0\_63},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GeistB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GorrieriS94,
  author       = {Roberto Gorrieri and
                  Glauco Siliprandi},
  editor       = {David L. Dill},
  title        = {Real-Time System Verification using {P/T} Nets},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {14--26},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_40},
  doi          = {10.1007/3-540-58179-0\_40},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GorrieriS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Graf94,
  author       = {Susanne Graf},
  editor       = {David L. Dill},
  title        = {Verification of a Distributed Cache Memory by Using Abstractions},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {207--219},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_55},
  doi          = {10.1007/3-540-58179-0\_55},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Graf94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HazelhurstS94,
  author       = {Scott Hazelhurst and
                  Carl{-}Johan H. Seger},
  editor       = {David L. Dill},
  title        = {Composing Symbolic Trajectory Evaluation Results},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {273--285},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_61},
  doi          = {10.1007/3-540-58179-0\_61},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HazelhurstS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HojatiMB94,
  author       = {Ramin Hojati and
                  Robert B. Mueller{-}Thuns and
                  Robert K. Brayton},
  editor       = {David L. Dill},
  title        = {Improving Language Containment Using Fairness Graphs},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {391--403},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_70},
  doi          = {10.1007/3-540-58179-0\_70},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HojatiMB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Hungar94,
  author       = {Hardi Hungar},
  editor       = {David L. Dill},
  title        = {Model Checking of macro Processes},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {169--181},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_52},
  doi          = {10.1007/3-540-58179-0\_52},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Hungar94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Kurshan94,
  author       = {Robert P. Kurshan},
  editor       = {David L. Dill},
  title        = {Models Whose Checks Don't Explode},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {222--233},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_57},
  doi          = {10.1007/3-540-58179-0\_57},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Kurshan94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LamB94,
  author       = {William K. C. Lam and
                  Robert K. Brayton},
  editor       = {David L. Dill},
  title        = {Criteria for the Simple Path Property in Timed Automata},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {27--40},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_41},
  doi          = {10.1007/3-540-58179-0\_41},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LamB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LeeR94,
  author       = {Insup Lee and
                  Sanguthevar Rajasekaran},
  editor       = {David L. Dill},
  title        = {A Parallel Algorithm for Relational Coarsest Partition Problems and
                  Its Implementation},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {404--414},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_71},
  doi          = {10.1007/3-540-58179-0\_71},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/LeeR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LongBCJM94,
  author       = {David E. Long and
                  Anca Browne and
                  Edmund M. Clarke and
                  Somesh Jha and
                  Wilfredo R. Marrero},
  editor       = {David L. Dill},
  title        = {An Improved Algorithm for the Evaluation of Fixpoint Expressions},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {338--350},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_66},
  doi          = {10.1007/3-540-58179-0\_66},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LongBCJM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Manna94,
  author       = {Zohar Manna},
  editor       = {David L. Dill},
  title        = {Beyond Model Checking},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {220--221},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_56},
  doi          = {10.1007/3-540-58179-0\_56},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Manna94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/McManisV94,
  author       = {Jennifer McManis and
                  Pravin Varaiya},
  editor       = {David L. Dill},
  title        = {Suspension Automata: {A} Decidable Class of Hybrid Automata},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {105--117},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_47},
  doi          = {10.1007/3-540-58179-0\_47},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/McManisV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/McMillan94,
  author       = {Kenneth L. McMillan},
  editor       = {David L. Dill},
  title        = {Hierarchical Representations of Discrete Functions, with Application
                  to Model Checking},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {41--54},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_42},
  doi          = {10.1007/3-540-58179-0\_42},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/McMillan94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MihailP94,
  author       = {Milena Mihail and
                  Christos H. Papadimitriou},
  editor       = {David L. Dill},
  title        = {On the Random Walk Method for Protocol Testing},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {132--141},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_49},
  doi          = {10.1007/3-540-58179-0\_49},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MihailP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/NaikS94,
  author       = {Vivek G. Naik and
                  A. Prasad Sistla},
  editor       = {David L. Dill},
  title        = {Modeling and Verification of a Real Life Protocol Using Symbolic Model
                  Checking},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {194--206},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_54},
  doi          = {10.1007/3-540-58179-0\_54},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NaikS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/OliveroSY94,
  author       = {Alfredo Olivero and
                  Joseph Sifakis and
                  Sergio Yovine},
  editor       = {David L. Dill},
  title        = {Using Abstractions for the Verification of Linear Hybrid Systems},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {81--94},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_45},
  doi          = {10.1007/3-540-58179-0\_45},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/OliveroSY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Peled94,
  author       = {Doron A. Peled},
  editor       = {David L. Dill},
  title        = {Combining Partial Order Reductions with On-the-fly Model-Checking},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {377--390},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_69},
  doi          = {10.1007/3-540-58179-0\_69},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Peled94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/PuriV94,
  author       = {Anuj Puri and
                  Pravin Varaiya},
  editor       = {David L. Dill},
  title        = {Decidability of Hybrid Systems with Rectangular Differential Inclusion},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {95--104},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_46},
  doi          = {10.1007/3-540-58179-0\_46},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/PuriV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/RokickiM94,
  author       = {Tomas Rokicki and
                  Chris J. Myers},
  editor       = {David L. Dill},
  title        = {Automatic Verification of Timed Circuits},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {468--480},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_76},
  doi          = {10.1007/3-540-58179-0\_76},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/RokickiM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Schubert94,
  author       = {E. Thomas Schubert},
  editor       = {David L. Dill},
  title        = {A Hybrid Model for Reasoning about Composed Hardware Systems},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {260--272},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_60},
  doi          = {10.1007/3-540-58179-0\_60},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Schubert94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SimoneR94,
  author       = {Robert de Simone and
                  Annie Ressouche},
  editor       = {David L. Dill},
  title        = {Compositional Semantics of {ESTEREL} and Verification by Compositional
                  Reductions},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {441--454},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_74},
  doi          = {10.1007/3-540-58179-0\_74},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/SimoneR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SinghalP94,
  author       = {Vigyan Singhal and
                  Carl Pixley},
  editor       = {David L. Dill},
  title        = {The Verifiacation Problem for Safe Replaceability},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {311--323},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_64},
  doi          = {10.1007/3-540-58179-0\_64},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/SinghalP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/SokolskyS94,
  author       = {Oleg Sokolsky and
                  Scott A. Smolka},
  editor       = {David L. Dill},
  title        = {Incremental Model Checking in the Modal Mu-Calculus},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {351--363},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_67},
  doi          = {10.1007/3-540-58179-0\_67},
  timestamp    = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/SokolskyS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/VictorM94,
  author       = {Bj{\"{o}}rn Victor and
                  Faron Moller},
  editor       = {David L. Dill},
  title        = {The Mobility Workbench - {A} Tool for the pi-Calculus},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {428--440},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_73},
  doi          = {10.1007/3-540-58179-0\_73},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/VictorM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ZhuS94,
  author       = {Zheng Zhu and
                  Carl{-}Johan H. Seger},
  editor       = {David L. Dill},
  title        = {The Completeness of a Hardware Inference System},
  booktitle    = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  pages        = {286--298},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0\_62},
  doi          = {10.1007/3-540-58179-0\_62},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ZhuS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/1994,
  editor       = {David L. Dill},
  title        = {Computer Aided Verification, 6th International Conference, {CAV} '94,
                  Stanford, California, USA, June 21-23, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {818},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58179-0},
  doi          = {10.1007/3-540-58179-0},
  isbn         = {3-540-58179-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/1994.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.