Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cav/AlurCH93,
  author       = {Rajeev Alur and
                  Costas Courcoubetis and
                  Thomas A. Henzinger},
  editor       = {Costas Courcoubetis},
  title        = {Computing Accumulated Delays in Real-time Systems},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {181--193},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_16},
  doi          = {10.1007/3-540-56922-7\_16},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/AlurCH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BalarinS93,
  author       = {Felice Balarin and
                  Alberto L. Sangiovanni{-}Vincentelli},
  editor       = {Costas Courcoubetis},
  title        = {An Iterative Approach to Language Containment},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {29--40},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_4},
  doi          = {10.1007/3-540-56922-7\_4},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BalarinS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Brayton93,
  author       = {Robert K. Brayton},
  editor       = {Costas Courcoubetis},
  title        = {Logic Synthesis and Design Verification},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_1},
  doi          = {10.1007/3-540-56922-7\_1},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Brayton93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BrinksmaLB93,
  author       = {Ed Brinksma and
                  Rom Langerak and
                  Peter Broekroelofs},
  editor       = {Costas Courcoubetis},
  title        = {Functionality Decomposition by Compositional Correstness Preserving
                  Transformation},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {371--384},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_31},
  doi          = {10.1007/3-540-56922-7\_31},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BrinksmaLB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CeransGL93,
  author       = {Karlis Cerans and
                  Jens Chr. Godskesen and
                  Kim Guldstrand Larsen},
  editor       = {Costas Courcoubetis},
  title        = {Timed Modal Specification - Theory and Tools},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {253--267},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_21},
  doi          = {10.1007/3-540-56922-7\_21},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CeransGL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ClarkeFJ93,
  author       = {Edmund M. Clarke and
                  Thomas Filkorn and
                  Somesh Jha},
  editor       = {Costas Courcoubetis},
  title        = {Exploiting Symmetry In Temporal Logic Model Checking},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {450--462},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_37},
  doi          = {10.1007/3-540-56922-7\_37},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ClarkeFJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/CourcoubetisDJ93,
  author       = {Costas Courcoubetis and
                  Werner Damm and
                  Bernhard Josko},
  editor       = {Costas Courcoubetis},
  title        = {Verification of timing Properties of {VHDL}},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {225--236},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_19},
  doi          = {10.1007/3-540-56922-7\_19},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/CourcoubetisDJ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/DamsGG93,
  author       = {Dennis Dams and
                  Orna Grumberg and
                  Rob Gerth},
  editor       = {Costas Courcoubetis},
  title        = {Generation of Reduced Models for Checking Fragments of {CTL}},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {479--490},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_39},
  doi          = {10.1007/3-540-56922-7\_39},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/DamsGG93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/EmersonJS93,
  author       = {E. Allen Emerson and
                  Charanjit S. Jutla and
                  A. Prasad Sistla},
  editor       = {Costas Courcoubetis},
  title        = {On Model-Checking for Fragments of {\(\mathrm{\mu}\)}-Calculus},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {385--396},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_32},
  doi          = {10.1007/3-540-56922-7\_32},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/EmersonJS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/EmersonS93,
  author       = {E. Allen Emerson and
                  A. Prasad Sistla},
  editor       = {Costas Courcoubetis},
  title        = {Symmetry and Model Checking},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {463--478},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_38},
  doi          = {10.1007/3-540-56922-7\_38},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/EmersonS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/FernandezKM93,
  author       = {Jean{-}Claude Fernandez and
                  Alain Kerbrat and
                  Laurent Mounier},
  editor       = {Costas Courcoubetis},
  title        = {Symbolic Equivalence Checking},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {85--96},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_8},
  doi          = {10.1007/3-540-56922-7\_8},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/FernandezKM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GodefroidP93,
  author       = {Patrice Godefroid and
                  Didier Pirottin},
  editor       = {Costas Courcoubetis},
  title        = {Refining Dependencies Improves Partial-Order Verification Methods
                  (Extended Abstract)},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {438--449},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_36},
  doi          = {10.1007/3-540-56922-7\_36},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GodefroidP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Gordon93,
  author       = {Michael J. C. Gordon},
  editor       = {Costas Courcoubetis},
  title        = {A Verifier and Timing Analyser for Simple Imperative Programs (Abstract)},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {320},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_26},
  doi          = {10.1007/3-540-56922-7\_26},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Gordon93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GrafL93,
  author       = {Susanne Graf and
                  Claire Loiseaux},
  editor       = {Costas Courcoubetis},
  title        = {A Tool for Symbolic Program Verification and Abstration},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {71--84},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_7},
  doi          = {10.1007/3-540-56922-7\_7},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GrafL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/GuptaF93,
  author       = {Aarti Gupta and
                  Allan L. Fisher},
  editor       = {Costas Courcoubetis},
  title        = {Parametric Circuit Representation Using Inductive Boolean Functions},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {15--28},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_3},
  doi          = {10.1007/3-540-56922-7\_3},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/GuptaF93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Halbwachs93,
  author       = {Nicolas Halbwachs},
  editor       = {Costas Courcoubetis},
  title        = {Delay Analysis in Synchronous Programs},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {333--346},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_28},
  doi          = {10.1007/3-540-56922-7\_28},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Halbwachs93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HennessyL93,
  author       = {Matthew Hennessy and
                  Xinxin Liu},
  editor       = {Costas Courcoubetis},
  title        = {A Modal Logic for Message passing Processes (Extended Abstract)},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {359--370},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_30},
  doi          = {10.1007/3-540-56922-7\_30},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HennessyL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HojatiBK93,
  author       = {Ramin Hojati and
                  Robert K. Brayton and
                  Robert P. Kurshan},
  editor       = {Costas Courcoubetis},
  title        = {BDD-Based Debugging Of Design Using Language Containment and Fair
                  {CTL}},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {41--58},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_5},
  doi          = {10.1007/3-540-56922-7\_5},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HojatiBK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/HuD93,
  author       = {Alan J. Hu and
                  David L. Dill},
  editor       = {Costas Courcoubetis},
  title        = {Efficient Verification with BDDs using Implicitly Conjoined Invariants},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {3--14},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_2},
  doi          = {10.1007/3-540-56922-7\_2},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/HuD93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Hungar93,
  author       = {Hardi Hungar},
  editor       = {Costas Courcoubetis},
  title        = {Combining Model Checking and Theorem Proving to Verify Parallel Processes},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {154--165},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_13},
  doi          = {10.1007/3-540-56922-7\_13},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Hungar93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/JourdanMO93,
  author       = {Martin Jourdan and
                  Florence Maraninchi and
                  Alfredo Olivero},
  editor       = {Costas Courcoubetis},
  title        = {Verifying Quantitative Real-Time Properties of Synchronous Programs},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {347--358},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_29},
  doi          = {10.1007/3-540-56922-7\_29},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/JourdanMO93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KestenMMP93,
  author       = {Yonit Kesten and
                  Zohar Manna and
                  Hugh McGuire and
                  Amir Pnueli},
  editor       = {Costas Courcoubetis},
  title        = {A Decision Algorithm for Full Propositional Temporal Logic},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {97--109},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_9},
  doi          = {10.1007/3-540-56922-7\_9},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KestenMMP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Krishnakumar93,
  author       = {A. S. Krishnakumar},
  editor       = {Costas Courcoubetis},
  title        = {Reachability and Recurrence in Extended Finite State Machines: Modular
                  Vector Addition Systems},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {110--122},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_10},
  doi          = {10.1007/3-540-56922-7\_10},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Krishnakumar93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KurshanL93,
  author       = {Robert P. Kurshan and
                  Leslie Lamport},
  editor       = {Costas Courcoubetis},
  title        = {Verification of a Multiplier: 64 Bits and Beyond},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {166--179},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_14},
  doi          = {10.1007/3-540-56922-7\_14},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KurshanL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KurshanMOS93,
  author       = {Robert P. Kurshan and
                  Michael Merritt and
                  Ariel Orda and
                  Sonia R. Sachs},
  editor       = {Costas Courcoubetis},
  title        = {A Structural Linearization Principle for Processes},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {491--504},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_40},
  doi          = {10.1007/3-540-56922-7\_40},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KurshanMOS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/KuttyRMDM93,
  author       = {George Kutty and
                  Y. S. Ramakrishna and
                  Louise E. Moser and
                  Laura K. Dillon and
                  P. M. Melliar{-}Smith},
  editor       = {Costas Courcoubetis},
  title        = {A Graphical Interval Logic Toolset for Verifying Concurrent Systems},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {138--153},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_12},
  doi          = {10.1007/3-540-56922-7\_12},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/KuttyRMDM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LamB93,
  author       = {William K. C. Lam and
                  Robert K. Brayton},
  editor       = {Costas Courcoubetis},
  title        = {Alternating {RQ} Timed Automata},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {237--252},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_20},
  doi          = {10.1007/3-540-56922-7\_20},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LamB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/LincolnR93,
  author       = {Patrick Lincoln and
                  John M. Rushby},
  editor       = {Costas Courcoubetis},
  title        = {The Formal Verification of an Algorithm for Interactive Consistency
                  under a Hybrid Fault Model},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {292--304},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_24},
  doi          = {10.1007/3-540-56922-7\_24},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LincolnR93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/MalerP93,
  author       = {Oded Maler and
                  Amir Pnueli},
  editor       = {Costas Courcoubetis},
  title        = {Reachability Analysis of Planar Multi-limear Systems},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {194--209},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_17},
  doi          = {10.1007/3-540-56922-7\_17},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MalerP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Peled93,
  author       = {Doron A. Peled},
  editor       = {Costas Courcoubetis},
  title        = {All from One, One for All: on Model Checking Using Representatives},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {409--423},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_34},
  doi          = {10.1007/3-540-56922-7\_34},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Peled93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ProbstL93,
  author       = {David K. Probst and
                  Hon Fung Li},
  editor       = {Costas Courcoubetis},
  title        = {Verifying Timed Behavior Automata with Input/Output Critical Races},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {424--437},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_35},
  doi          = {10.1007/3-540-56922-7\_35},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ProbstL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/RhoS93,
  author       = {June{-}Kyung Rho and
                  Fabio Somenzi},
  editor       = {Costas Courcoubetis},
  title        = {Automatic Generation of Network Invariants for the Verification of
                  Iterative Sequential Systems},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {123--137},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_11},
  doi          = {10.1007/3-540-56922-7\_11},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/RhoS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Shankar93,
  author       = {Natarajan Shankar},
  editor       = {Costas Courcoubetis},
  title        = {Verification of Real-Time Systems Using {PVS}},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {280--291},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_23},
  doi          = {10.1007/3-540-56922-7\_23},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Shankar93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Sogaard-AndersenGGLP93,
  author       = {J{\o}rgen F. S{\o}gaard{-}Andersen and
                  Stephen J. Garland and
                  John V. Guttag and
                  Nancy A. Lynch and
                  Anna Pogosyants},
  editor       = {Costas Courcoubetis},
  title        = {Computer-Assisted Simulation Proofs},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {305--319},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_25},
  doi          = {10.1007/3-540-56922-7\_25},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Sogaard-AndersenGGLP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Valmari93,
  author       = {Antti Valmari},
  editor       = {Costas Courcoubetis},
  title        = {On-the-Fly Verification with Stubborn Sets},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {397--408},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_33},
  doi          = {10.1007/3-540-56922-7\_33},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Valmari93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Varaiya93,
  author       = {Pravin Varaiya},
  editor       = {Costas Courcoubetis},
  title        = {Protocol Design for an Automated Highway System (Abstract)},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {180},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_15},
  doi          = {10.1007/3-540-56922-7\_15},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Varaiya93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/Wilding93,
  author       = {Matthew Wilding},
  editor       = {Costas Courcoubetis},
  title        = {A Mechanically Verified Application for a Mechanically Verified Environment},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {268--279},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_22},
  doi          = {10.1007/3-540-56922-7\_22},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/Wilding93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/WolperL93,
  author       = {Pierre Wolper and
                  Denis Leroy},
  editor       = {Costas Courcoubetis},
  title        = {Reliable Hashing without Collosion Detection},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {59--70},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_6},
  doi          = {10.1007/3-540-56922-7\_6},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cav/WolperL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/YannakakisL93,
  author       = {Mihalis Yannakakis and
                  David Lee},
  editor       = {Costas Courcoubetis},
  title        = {An Efficient Algorithm for Minimizing Real-time Transition Systems},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {210--224},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_18},
  doi          = {10.1007/3-540-56922-7\_18},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/YannakakisL93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/YonedaSSC93,
  author       = {Tomohiro Yoneda and
                  Atsufumi Shibayama and
                  Bernd{-}Holger Schlingloff and
                  Edmund M. Clarke},
  editor       = {Costas Courcoubetis},
  title        = {Efficient Verification of Parallel Real-Time Systems},
  booktitle    = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  pages        = {321--346},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7\_27},
  doi          = {10.1007/3-540-56922-7\_27},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/YonedaSSC93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cav/1993,
  editor       = {Costas Courcoubetis},
  title        = {Computer Aided Verification, 5th International Conference, {CAV} '93,
                  Elounda, Greece, June 28 - July 1, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {697},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-56922-7},
  doi          = {10.1007/3-540-56922-7},
  isbn         = {3-540-56922-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/1993.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.