BibTeX records: Steven M. German

download as .bib file

@inproceedings{DBLP:conf/fmcad/German11,
  author    = {Steven M. German},
  title     = {A theory of abstraction for arrays},
  booktitle = {International Conference on Formal Methods in Computer-Aided Design,
               {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  pages     = {176--185},
  year      = {2011},
  crossref  = {DBLP:conf/fmcad/2011},
  url       = {http://dl.acm.org/citation.cfm?id=2157682},
  timestamp = {Sat, 29 Apr 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/German11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChenGG07,
  author    = {Xiaofang Chen and
               Steven M. German and
               Ganesh Gopalakrishnan},
  title     = {Transaction Based Modeling and Verification of Hardware Protocols},
  booktitle = {Formal Methods in Computer-Aided Design, 7th International Conference,
               {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  pages     = {53--61},
  year      = {2007},
  crossref  = {DBLP:conf/fmcad/2007},
  url       = {https://doi.org/10.1109/FAMCAD.2007.20},
  doi       = {10.1109/FAMCAD.2007.20},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/ChenGG07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BhattacharyaGG06,
  author    = {Ritwik Bhattacharya and
               Steven M. German and
               Ganesh Gopalakrishnan},
  title     = {Exploiting Symmetry and Transactions for Partial Order Reduction of
               Rule Based Specifications},
  booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
               Austria, March 30 - April 1, 2006, Proceedings},
  pages     = {252--270},
  year      = {2006},
  crossref  = {DBLP:conf/spin/2006},
  url       = {https://doi.org/10.1007/11691617\_15},
  doi       = {10.1007/11691617\_15},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/BhattacharyaGG06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/BhattacharyaGG05,
  author    = {Ritwik Bhattacharya and
               Steven M. German and
               Ganesh Gopalakrishnan},
  title     = {Symbolic Partial Order Reduction for Rule Based Transition Systems},
  booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
               Germany, October 3-6, 2005, Proceedings},
  pages     = {332--335},
  year      = {2005},
  crossref  = {DBLP:conf/charme/2005},
  url       = {https://doi.org/10.1007/11560548\_25},
  doi       = {10.1007/11560548\_25},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/BhattacharyaGG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/BairGWKSMLWWMVAHRH04,
  author    = {Dean G. Bair and
               Steven M. German and
               William D. Wollyung and
               Edward J. Kaminski Jr. and
               James Schafer and
               Michael P. Mullen and
               William J. Lewis and
               Rebecca Wisniewski and
               Joerg Walter and
               Steven Mittermaier and
               Visda Vokhshoori and
               Robert J. Adkins and
               Michael Halas and
               Thomas Ruane and
               Ursel Hahn},
  title     = {Functional verification of the z990 superscalar, multibook microprocessor
               complex},
  journal   = {{IBM} Journal of Research and Development},
  volume    = {48},
  number    = {3-4},
  pages     = {347--366},
  year      = {2004},
  url       = {https://doi.org/10.1147/rd.483.0347},
  doi       = {10.1147/rd.483.0347},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ibmrd/BairGWKSMLWWMVAHRH04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/German03,
  author    = {Steven M. German},
  title     = {Formal Design of Cache Memory Protocols in {IBM}},
  journal   = {Formal Methods in System Design},
  volume    = {22},
  number    = {2},
  pages     = {133--141},
  year      = {2003},
  url       = {https://doi.org/10.1023/A:1022921522163},
  doi       = {10.1023/A:1022921522163},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/German03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BryantGV01,
  author    = {Randal E. Bryant and
               Steven M. German and
               Miroslav N. Velev},
  title     = {Processor verification using efficient reductions of the logic of
               uninterpreted functions to propositional logic},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {2},
  number    = {1},
  pages     = {93--134},
  year      = {2001},
  url       = {https://doi.org/10.1145/371282.371364},
  doi       = {10.1145/371282.371364},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/BryantGV01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ClarkeGLVW00,
  author    = {Edmund M. Clarke and
               Steven M. German and
               Yuan Lu and
               Helmut Veith and
               Dong Wang},
  title     = {Executable Protocol Specification in {ESL}},
  booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
               {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  pages     = {197--216},
  year      = {2000},
  crossref  = {DBLP:conf/fmcad/2000},
  url       = {https://doi.org/10.1007/3-540-40922-X\_13},
  doi       = {10.1007/3-540-40922-X\_13},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/ClarkeGLVW00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/German99,
  author    = {Steven M. German},
  title     = {Introduction to the Special Issue on Verification of Arithmetic Hardware},
  journal   = {Formal Methods in System Design},
  volume    = {14},
  number    = {1},
  pages     = {5--6},
  year      = {1999},
  url       = {https://doi.org/10.1023/A:1008661411164},
  doi       = {10.1023/A:1008661411164},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/German99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ClarkeGZ99,
  author    = {Edmund M. Clarke and
               Steven M. German and
               Xudong Zhao},
  title     = {Verifying the {SRT} Division Algorithm Using Theorem Proving Techniques},
  journal   = {Formal Methods in System Design},
  volume    = {14},
  number    = {1},
  pages     = {7--44},
  year      = {1999},
  url       = {https://doi.org/10.1023/A:1008665528003},
  doi       = {10.1023/A:1008665528003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/ClarkeGZ99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BryantGV99,
  author    = {Randal E. Bryant and
               Steven M. German and
               Miroslav N. Velev},
  title     = {Exploiting Positive Equality in a Logic of Equality with Uninterpreted
               Functions},
  booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
               '99, Trento, Italy, July 6-10, 1999, Proceedings},
  pages     = {470--482},
  year      = {1999},
  crossref  = {DBLP:conf/cav/1999},
  url       = {https://doi.org/10.1007/3-540-48683-6\_40},
  doi       = {10.1007/3-540-48683-6\_40},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BryantGV99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BryantGV99,
  author    = {Randal E. Bryant and
               Steven M. German and
               Miroslav N. Velev},
  title     = {Microprocessor Verification Using Efficient Decision Procedures for
               a Logic of Equality with Uninterpreted Functions},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International
               Conference, {TABLEAUX} '99, Saratoga Springs, NY, USA, June 7-11,
               1999, Proceedings},
  pages     = {1--13},
  year      = {1999},
  crossref  = {DBLP:conf/tableaux/1999},
  url       = {https://doi.org/10.1007/3-540-48754-9\_1},
  doi       = {10.1007/3-540-48754-9\_1},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/BryantGV99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-9910014,
  author    = {Randal E. Bryant and
               Steven M. German and
               Miroslav N. Velev},
  title     = {Processor Verification Using Efficient Reductions of the Logic of
               Uninterpreted Functions to Propositional Logic},
  journal   = {CoRR},
  volume    = {cs.LO/9910014},
  year      = {1999},
  url       = {http://arxiv.org/abs/cs.LO/9910014},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-LO-9910014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/German96,
  author    = {Steven M. German},
  title     = {Research Goals for Formal Methods},
  journal   = {{ACM} Comput. Surv.},
  volume    = {28},
  number    = {4es},
  pages     = {118},
  year      = {1996},
  url       = {https://doi.org/10.1145/242224.242377},
  doi       = {10.1145/242224.242377},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/csur/German96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ClarkeGZ96,
  author    = {Edmund M. Clarke and
               Steven M. German and
               Xudong Zhao},
  title     = {Verifying the {SRT} Division Algorithm Using Theorem Proving Techniques},
  booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
               New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  pages     = {111--122},
  year      = {1996},
  crossref  = {DBLP:conf/cav/1996},
  url       = {https://doi.org/10.1007/3-540-61474-5\_62},
  doi       = {10.1007/3-540-61474-5\_62},
  timestamp = {Mon, 22 May 2017 16:14:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ClarkeGZ96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/GermanS92,
  author    = {Steven M. German and
               A. Prasad Sistla},
  title     = {Reasoning about Systems with Many Processes},
  journal   = {J. {ACM}},
  volume    = {39},
  number    = {3},
  pages     = {675--735},
  year      = {1992},
  url       = {https://doi.org/10.1145/146637.146681},
  doi       = {10.1145/146637.146681},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/GermanS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/German92,
  author    = {Steven M. German},
  title     = {Semantics and Reasoning with Free Procedures},
  journal   = {Theor. Comput. Sci.},
  volume    = {97},
  number    = {1},
  pages     = {67--81},
  year      = {1992},
  url       = {https://doi.org/10.1016/0304-3975(92)90387-U},
  doi       = {10.1016/0304-3975(92)90387-U},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/German92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/German92,
  author    = {Steven M. German},
  title     = {Programming in a General Model of Synchronization},
  booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
               Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
  pages     = {534--549},
  year      = {1992},
  crossref  = {DBLP:conf/concur/1992},
  url       = {https://doi.org/10.1007/BFb0084814},
  doi       = {10.1007/BFb0084814},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/German92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GermanCH89,
  author    = {Steven M. German and
               Edmund M. Clarke and
               Joseph Y. Halpern},
  title     = {Reasoning about Procedures as Parameters in the Language {L4}},
  journal   = {Inf. Comput.},
  volume    = {83},
  number    = {3},
  pages     = {265--359},
  year      = {1989},
  url       = {https://doi.org/10.1016/0890-5401(89)90040-0},
  doi       = {10.1016/0890-5401(89)90040-0},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/GermanCH89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/SistlaG87,
  author    = {A. Prasad Sistla and
               Steven M. German},
  title     = {Reasoning with Many Processes},
  booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
               '87), Ithaca, New York, USA, June 22-25, 1987},
  pages     = {138--152},
  year      = {1987},
  crossref  = {DBLP:conf/lics/1987},
  timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/SistlaG87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GermanCH86,
  author    = {Steven M. German and
               Edmund M. Clarke and
               Joseph Y. Halpern},
  title     = {True Relative Completeness of an Axiom System for the Language {L4}
               (Abridged)},
  booktitle = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
               '86), Cambridge, Massachusetts, USA, June 16-18, 1986},
  pages     = {11--25},
  year      = {1986},
  crossref  = {DBLP:conf/lics/1986},
  timestamp = {Thu, 22 Jan 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/GermanCH86},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/GermanL85,
  author    = {Steven M. German and
               Karl J. Lieberherr},
  title     = {Zeus: {A} Language for Expressing Algorithms in Hardware},
  journal   = {{IEEE} Computer},
  volume    = {18},
  number    = {2},
  pages     = {55--65},
  year      = {1985},
  url       = {https://doi.org/10.1109/MC.1985.1662799},
  doi       = {10.1109/MC.1985.1662799},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/computer/GermanL85},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/German84,
  author    = {Steven M. German},
  title     = {Monitoring for Deadlock and Blocking in Ada Tasking},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {10},
  number    = {6},
  pages     = {764--777},
  year      = {1984},
  url       = {https://doi.org/10.1109/TSE.1984.5010305},
  doi       = {10.1109/TSE.1984.5010305},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/German84},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/ClarkeGH83,
  author    = {Edmund M. Clarke and
               Steven M. German and
               Joseph Y. Halpern},
  title     = {Effective Axiomatizations of Hoare Logics},
  journal   = {J. {ACM}},
  volume    = {30},
  number    = {3},
  pages     = {612--636},
  year      = {1983},
  url       = {https://doi.org/10.1145/2402.322394},
  doi       = {10.1145/2402.322394},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/ClarkeGH83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/GermanCH83,
  author    = {Steven M. German and
               Edmund M. Clarke and
               Joseph Y. Halpern},
  title     = {Reasoning About Procedures as Parameters},
  booktitle = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
               PA, USA, June 6-8, 1983, Proceedings},
  pages     = {206--220},
  year      = {1983},
  crossref  = {DBLP:conf/lop/1983},
  url       = {https://doi.org/10.1007/3-540-12896-4\_365},
  doi       = {10.1007/3-540-12896-4\_365},
  timestamp = {Fri, 19 May 2017 12:26:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lop/GermanCH83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ClarkeGH82,
  author    = {Edmund M. Clarke and
               Steven M. German and
               Joseph Y. Halpern},
  title     = {On Effective Axiomatizations of Hoare Logics},
  booktitle = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
               of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  pages     = {309--321},
  year      = {1982},
  crossref  = {DBLP:conf/popl/82},
  url       = {https://doi.org/10.1145/582153.582186},
  doi       = {10.1145/582153.582186},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/ClarkeGH82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/German78,
  author    = {Steven M. German},
  title     = {Automating Proofs of the Absence of Common Runtime Errors},
  booktitle = {Conference Record of the Fifth Annual {ACM} Symposium on Principles
               of Programming Languages, Tucson, Arizona, USA, January 1978},
  pages     = {105--118},
  year      = {1978},
  crossref  = {DBLP:conf/popl/1978},
  url       = {https://doi.org/10.1145/512760.512772},
  doi       = {10.1145/512760.512772},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/German78},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GermanW75,
  author    = {Steven M. German and
               Ben Wegbreit},
  title     = {A Synthesizer of Inductive Assertions},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {1},
  number    = {1},
  pages     = {68--75},
  year      = {1975},
  url       = {https://doi.org/10.1109/TSE.1975.6312821},
  doi       = {10.1109/TSE.1975.6312821},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/GermanW75},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afips/GermanW75,
  author    = {Steven M. German and
               Ben Wegbreit},
  title     = {A synthesizer of inductive assertions},
  booktitle = {American Federation of Information Processing Societies: 1975 National
               Computer Conference, 19-22 May 1975, Anaheim, CA, {USA}},
  pages     = {369--376},
  year      = {1975},
  crossref  = {DBLP:conf/afips/1975},
  url       = {https://doi.org/10.1145/1499949.1500020},
  doi       = {10.1145/1499949.1500020},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/afips/GermanW75},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2011,
  editor    = {Per Bjesse and
               Anna Slobodov{\'{a}}},
  title     = {International Conference on Formal Methods in Computer-Aided Design,
               {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  publisher = {{FMCAD} Inc.},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2157654},
  isbn      = {978-0-9835678-1-3},
  timestamp = {Mon, 13 Aug 2012 09:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2007,
  title     = {Formal Methods in Computer-Aided Design, 7th International Conference,
               {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4401966},
  isbn      = {0-7695-3023-0},
  timestamp = {Fri, 01 Apr 2016 10:10:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2006,
  editor    = {Antti Valmari},
  title     = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
               Austria, March 30 - April 1, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3925},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691617},
  doi       = {10.1007/11691617},
  isbn      = {3-540-33102-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/spin/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/2005,
  editor    = {Dominique Borrione and
               Wolfgang J. Paul},
  title     = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
               Germany, October 3-6, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3725},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11560548},
  doi       = {10.1007/11560548},
  isbn      = {3-540-29105-9},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2000,
  editor    = {Warren A. Hunt Jr. and
               Steven D. Johnson},
  title     = {Formal Methods in Computer-Aided Design, Third International Conference,
               {FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1954},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-40922-X},
  doi       = {10.1007/3-540-40922-X},
  isbn      = {3-540-41219-0},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1999,
  editor    = {Nicolas Halbwachs and
               Doron A. Peled},
  title     = {Computer Aided Verification, 11th International Conference, {CAV}
               '99, Trento, Italy, July 6-10, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1633},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48683-6},
  doi       = {10.1007/3-540-48683-6},
  isbn      = {3-540-66202-2},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tableaux/1999,
  editor    = {Neil V. Murray},
  title     = {Automated Reasoning with Analytic Tableaux and Related Methods, International
               Conference, {TABLEAUX} '99, Saratoga Springs, NY, USA, June 7-11,
               1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1617},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48754-9},
  doi       = {10.1007/3-540-48754-9},
  isbn      = {3-540-66086-0},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tableaux/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1996,
  editor    = {Rajeev Alur and
               Thomas A. Henzinger},
  title     = {Computer Aided Verification, 8th International Conference, {CAV} '96,
               New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1102},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61474-5},
  doi       = {10.1007/3-540-61474-5},
  isbn      = {3-540-61474-5},
  timestamp = {Mon, 22 May 2017 16:14:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1992,
  editor    = {Rance Cleaveland},
  title     = {{CONCUR} '92, Third International Conference on Concurrency Theory,
               Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {630},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/BFb0084777},
  doi       = {10.1007/BFb0084777},
  isbn      = {3-540-55822-5},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1987,
  title     = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
               '87), Ithaca, New York, USA, June 22-25, 1987},
  publisher = {{IEEE} Computer Society},
  year      = {1987},
  timestamp = {Tue, 19 Nov 2013 18:10:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lics/1986,
  title     = {Proceedings of the Symposium on Logic in Computer Science {(LICS}
               '86), Cambridge, Massachusetts, USA, June 16-18, 1986},
  publisher = {{IEEE} Computer Society},
  year      = {1986},
  isbn      = {0-8186-0720-3},
  timestamp = {Fri, 20 Jan 2012 14:20:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1986},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lop/1983,
  editor    = {Edmund M. Clarke and
               Dexter Kozen},
  title     = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
               PA, USA, June 6-8, 1983, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {164},
  publisher = {Springer},
  year      = {1984},
  url       = {https://doi.org/10.1007/3-540-12896-4},
  doi       = {10.1007/3-540-12896-4},
  isbn      = {3-540-12896-4},
  timestamp = {Fri, 19 May 2017 12:26:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lop/1983},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/82,
  editor    = {Richard A. DeMillo},
  title     = {Conference Record of the Ninth Annual {ACM} Symposium on Principles
               of Programming Languages, Albuquerque, New Mexico, USA, January 1982},
  publisher = {{ACM} Press},
  year      = {1982},
  url       = {http://dl.acm.org/citation.cfm?id=582153},
  isbn      = {0-89791-065-6},
  timestamp = {Mon, 21 May 2012 16:19:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/82},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1978,
  editor    = {Alfred V. Aho and
               Stephen N. Zilles and
               Thomas G. Szymanski},
  title     = {Conference Record of the Fifth Annual {ACM} Symposium on Principles
               of Programming Languages, Tucson, Arizona, USA, January 1978},
  publisher = {{ACM} Press},
  year      = {1978},
  url       = {http://dl.acm.org/citation.cfm?id=512760},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1978},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afips/1975,
  title     = {American Federation of Information Processing Societies: 1975 National
               Computer Conference, 19-22 May 1975, Anaheim, CA, {USA}},
  series    = {{AFIPS} Conference Proceedings},
  volume    = {44},
  publisher = {{AFIPS} Press},
  year      = {1975},
  timestamp = {Tue, 14 Apr 2009 09:53:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/afips/1975},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier