ab.bib

@inproceedings{DelbiancoSNB17,
  author = {Germ\'{a}n Andr\'{e}s Delbianco and Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee},
  title = {Concurrent Data Structures Linked in Time},
  booktitle = {ECOOP},
  year = {2017},
  note = {To appear},
  butype = {inproceedings}
}
@inproceedings{BanerjeeNN16,
  author = {Anindya Banerjee and David A.~Naumann and Mohammad Nikouei},
  title = {Relational Logic with Framing and Hypotheses},
  booktitle = {FSTTCS},
  year = {2016},
  butype = {inproceedings}
}
@inproceedings{SergeyNBD16,
  author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee and Germ\'{a}n Andr\'{e}s Delbianco},
  title = {Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects},
  booktitle = {OOPSLA},
  year = {2016},
  pages = {92--110},
  butype = {inproceedings}
}
@inproceedings{AmtoftB16,
  author = {Torben Amtoft and Anindya Banerjee},
  title = {A Theory of Slicing for Probabilistic Control Flow Graphs},
  booktitle = {FoSSaCS},
  year = {2016},
  series = {Lecture Notes in Computer Science},
  pages = {180--196},
  butype = {inproceedings}
}
@inproceedings{SergeyNB15a,
  author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee},
  title = {Mechanized Verification of Fine-grained Concurrent Programs},
  booktitle = {PLDI},
  year = {2015},
  pages = {77--87},
  butype = {inproceedings}
}
@inproceedings{SergeyNB15b,
  author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee},
  title = {Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity},
  booktitle = {ESOP},
  year = {2015},
  series = {Lecture Notes in Computer Science},
  volume = {9032},
  pages = {333--358},
  butype = {inproceedings}
}
@inproceedings{BanerjeeN14,
  author = {Anindya Banerjee and
               David A. Naumann},
  title = {A Logical Analysis of Framing for Specifications with Pure Method
               Calls},
  booktitle = {Verified Software: Theories, Tools and Experiments - 6th International
               Conference, {VSTTE} 2014, Vienna, Austria, July 17-18, 2014, Revised
               Selected Papers},
  pages = {3--20},
  year = {2014},
  butype = {inproceedings}
}
@article{MalkisB14,
  author = {Alexander Malkis and Anindya Banerjee},
  title = {On Automation in the Verification of Software Barriers: Experience Report},
  journal = {Journal of Automated Reasoning},
  volume = {52},
  number = {3},
  pages = {275-329},
  year = {2014},
  butype = {article}
}
@inproceedings{ItzhakyBILNS14,
  author = {Shachar Itzhaky and Anindya Banerjee and Neil Immerman and Ori Lahav and Aleksandar Nanevski and Mooly Sagiv},
  title = {Modular reasoning about heap paths via effectively propositional formulas},
  booktitle = {POPL},
  year = {2014},
  pages = {385-396},
  note = {Last revised, April 2013},
  butype = {inproceedings}
}
@inproceedings{BanerjeeN13c,
  author = {Banerjee, Anindya and Naumann, David A.},
  year = {2013},
  title = {A Simple Semantics and Static Analysis for Stack Inspection},
  editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John},
  booktitle = {{\rm Proceedings}
               Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday,
               {\rm Manhattan, Kansas, USA, 19-20th September 2013}},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {129},
  publisher = {Open Publishing Association},
  pages = {284-308},
  doi = {10.4204/EPTCS.129.17}
}
@inproceedings{StewartBN13,
  author = {Gordon Stewart and Anindya Banerjee and Aleksandar Nanevski},
  title = {Dependent Types for Enforcement of Information Flow and Erasure Policies in Heterogeneous Data Structures},
  booktitle = {PPDP},
  year = 2013,
  pages = {145--156},
  note = {Last revised, June 2013}
}
@article{BanerjeeNR13,
  author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg},
  title = {Local Reasoning for Global Invariants, Part I: Region Logic},
  journal = {Journal of the {ACM}},
  volume = {60},
  number = 3,
  pages = {18},
  year = 2013,
  butype = {article}
}
@article{BanerjeeN13b,
  author = {Anindya Banerjee and David A. Naumann},
  title = {Local Reasoning for Global Invariants, Part II: Dynamic Boundaries},
  journal = {Journal of the {ACM}},
  volume = {60},
  number = 3,
  pages = {19},
  year = 2013,
  butype = {article}
}
@article{NanevskiBG13,
  author = {Aleksandar Nanevski and Anindya Banerjee and Deepak Garg},
  title = {Dependent Type Theory for Verification of Information Flow and Access Control Policies},
  journal = {ACM Trans. Program. Lang. Syst.},
  volume = {35},
  number = 2,
  pages = {6},
  year = 2013,
  butype = {article}
}
@inproceedings{ItzhakyBINS13,
  author = {Shachar Itzhaky and Anindya Banerjee and Neil Immerman and Aleksandar Nanevski and Mooly Sagiv},
  title = {Effectively-Propositional Reasoning about Reachability in Linked Data Structures},
  booktitle = {CAV},
  pages = {756--772},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {8044},
  year = {2013},
  note = {Last revised, April 2013}
}
@incollection{BanerjeeN13a,
  author = {Anindya Banerjee and David A. Naumann},
  title = {State Based Encapsulation for Modular Reasoning 
               about Behavior-Preserving Refactorings},
  booktitle = {Aliasing in Object-Oriented Programming},
  pages = {319--365},
  publisher = {Springer},
  year = {2013},
  editor = {Dave Clarke and James Noble and Tobias Wrigstad},
  series = {Lecture Notes in Computer Science},
  volume = {7850},
  isbn = {978-3-642-36945-2}
}
@inproceedings{MarronLB12,
  author = {Mark Marron and Ondrej Lhot\'{a}k and Anindya Banerjee},
  title = {Program Paradigm Driven Heap Analysis},
  booktitle = {CC},
  year = 2012,
  pages = {41--60},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7210},
  note = {Last revised, October 2011}
}
@inproceedings{RosenbergBN12,
  author = {Stan Rosenberg and Anindya Banerjee and David A. Naumann},
  title = {Decision Procedures for Region Logic},
  booktitle = {VMCAI},
  year = 2012,
  pages = {379--395},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {7148},
  note = {Last revised, November 2011}
}
@inproceedings{DBLP:conf/sp/NanevskiBG11,
  author = {Aleksandar Nanevski and Anindya Banerjee and Deepak Garg},
  title = {Verification of Information Flow and Access Control Policies
               with Dependent Types},
  booktitle = {IEEE Symposium on Security and Privacy},
  year = {2011},
  pages = {165-179},
  ee = {http://doi.ieeecomputersociety.org/10.1109/SP.2011.12},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@incollection{LivshitsNRB11,
  author = {V. Benjamin Livshits and Aditya V. Nori and
               Sriram K. Rajamani and Anindya Banerjee},
  title = {Merlin: specification inference for explicit information
               flow problems},
  booktitle = {Mining Software Specifications},
  pages = {377-410},
  publisher = {Chapman \& Hall/CRC},
  year = 2011,
  editor = {David Lo and Siau-Cheng Khoo and Jiawei Han and Chao Liu},
  chapter = 11,
  isbn = {978-1-4398-0626-5}
}
@article{MastroeniB2011,
  author = {Isabella Mastroeni and Anindya Banerjee},
  title = {Modelling Declassification Policies using Abstract Domain Completeness},
  journal = {Mathematical Structures in Computer Science},
  year = {2011},
  butype = {article},
  volume = 21,
  pages = {1253--1299}
}
@inproceedings{DBLP:conf/esop/NaumannB10,
  author = {David A. Naumann and Anindya Banerjee},
  title = {Dynamic Boundaries: Information Hiding by Second Order Framing
               with First Order Assertions},
  booktitle = {ESOP},
  year = {2010},
  pages = {2-22},
  ee = {http://dx.doi.org/10.1007/978-3-642-11957-6_2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/vstte/RosenbergBN10,
  author = {Stan Rosenberg and Anindya Banerjee and David A. Naumann},
  title = {Local Reasoning and Dynamic Framing for the Composite Pattern
               and Its Clients},
  booktitle = {VSTTE},
  year = {2010},
  pages = {183-198},
  ee = {http://dx.doi.org/10.1007/978-3-642-15057-9_13},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ifip1-7/Banerjee09,
  author = {Anindya Banerjee},
  title = {Semantics and Enforcement of Expressive Information Flow
               Policies},
  booktitle = {Formal Aspects in Security and Trust},
  year = {2009},
  pages = {1-3},
  ee = {http://dx.doi.org/10.1007/978-3-642-12459-4_1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/pldi/ShinnarPB09,
  author = {Avraham Shinnar and Marco Pistoia and Anindya Banerjee},
  title = {A language for information flow: dynamic tracking in multiple
               interdependent dimensions},
  booktitle = {PLAS},
  year = {2009},
  pages = {125-131},
  ee = {http://doi.acm.org/10.1145/1554339.1554354},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/pldi/LivshitsNRB09,
  author = {V. Benjamin Livshits and Aditya V. Nori and
               Sriram K. Rajamani and Anindya Banerjee},
  title = {Merlin: specification inference for explicit information
               flow problems},
  booktitle = {PLDI},
  year = {2009},
  pages = {75-86},
  ee = {http://doi.acm.org/10.1145/1542476.1542485},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/BanerjeeNR08,
  author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg},
  title = {Regional Logic for Local Reasoning about Global Invariants},
  booktitle = {ECOOP},
  year = {2008},
  pages = {387-411},
  ee = {http://dx.doi.org/10.1007/978-3-540-70592-5_17},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoopw/AlbertBDHILMW08,
  author = {Elvira Albert and Anindya Banerjee and
               Sophia Drossopoulou and Marieke Huisman and
               Atsushi Igarashi and Gary T. Leavens and
               Peter M{\"u}ller and Tobias Wrigstad},
  title = {Formal Techniques for Java-Like Programs},
  booktitle = {ECOOP Workshops},
  year = {2008},
  pages = {70-76},
  ee = {http://dx.doi.org/10.1007/978-3-642-02047-6_8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sp/BanerjeeNR08,
  author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg},
  title = {Expressive Declassification Policies and Modular Static
               Enforcement},
  booktitle = {IEEE Symposium on Security and Privacy},
  year = {2008},
  pages = {339-353},
  ee = {http://doi.ieeecomputersociety.org/10.1109/SP.2008.20},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/vstte/BanerjeeBN08,
  author = {Anindya Banerjee and Michael Barnett and David A. Naumann},
  title = {Boogie Meets Regions: A Verification Experience Report},
  booktitle = {VSTTE},
  year = {2008},
  pages = {177-191},
  ee = {http://dx.doi.org/10.1007/978-3-540-87873-5_16},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ccs/AmtoftB07,
  author = {Torben Amtoft and Anindya Banerjee},
  title = {Verification condition generation for conditional information
               flow},
  booktitle = {FMSE},
  year = {2007},
  pages = {2-11},
  ee = {http://doi.acm.org/10.1145/1314436.1314438},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sp/PistoiaBN07,
  author = {Marco Pistoia and Anindya Banerjee and David A. Naumann},
  title = {Beyond Stack Inspection: A Unified Access-Control and Information-Flow
               Security Model},
  booktitle = {IEEE Symposium on Security and Privacy},
  year = {2007},
  pages = {149-163},
  ee = {http://dx.doi.org/10.1109/SP.2007.10},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/pldi/BanerjeeNR07,
  author = {Anindya Banerjee and David A. Naumann and Stan Rosenberg},
  title = {Towards a logical account of declassification},
  booktitle = {PLAS},
  year = {2007},
  pages = {61-66},
  ee = {http://doi.acm.org/10.1145/1255329.1255340},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/toplas/RanganathABHD07,
  author = {Venkatesh Prasad Ranganath and Torben Amtoft and 
               Anindya Banerjee and John Hatcliff and Matthew B. Dwyer},
  title = {A new foundation for control dependence and slicing for
               modern program structures},
  journal = {ACM Trans. Program. Lang. Syst.},
  volume = {29},
  number = {5},
  year = {2007},
  ee = {http://doi.acm.org/10.1145/1275497.1275502},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/entcs/BanerjeeGM07,
  author = {Anindya Banerjee and Roberto Giacobazzi and Isabella Mastroeni},
  title = {What You Lose is What You Leak: Information Leakage in Declassification
               Policies},
  journal = {Electr. Notes Theor. Comput. Sci.},
  volume = {173},
  year = {2007},
  pages = {47-66},
  ee = {http://dx.doi.org/10.1016/j.entcs.2007.02.027},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/scp/AmtoftB07,
  author = {Torben Amtoft and Anindya Banerjee},
  title = {A logic for information flow analysis with an application
               to forward slicing of simple imperative programs},
  journal = {Sci. Comput. Program.},
  volume = {64},
  number = {1},
  year = {2007},
  pages = {3-28},
  ee = {http://dx.doi.org/10.1016/j.scico.2006.03.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/asian/GuernicBJS06,
  author = {Gurvan Le Guernic and Anindya Banerjee and
               Thomas P. Jensen and David A. Schmidt},
  title = {Automata-Based Confidentiality Monitoring},
  booktitle = {ASIAN},
  year = {2006},
  pages = {75-89},
  ee = {http://dx.doi.org/10.1007/978-3-540-77505-8_7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/AmtoftBB06,
  author = {Torben Amtoft and Sruthi Bandhakavi and Anindya Banerjee},
  title = {A logic for information flow in object-oriented programs},
  booktitle = {POPL},
  year = {2006},
  pages = {91-102},
  ee = {http://doi.acm.org/10.1145/1111037.1111046},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dagstuhl/2003P3411,
  editor = {Anindya Banerjee and Heiko Mantel and
               David A. Naumann and Andrei Sabelfeld},
  title = {Language-Based Security, 5.-10. October 2003},
  booktitle = {Language-Based Security},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r
               Informatik (IBFI), Schloss Dagstuhl, Germany IBFI, Schloss Dagstuhl, Germany},
  series = {Dagstuhl Seminar Proceedings},
  volume = {03411},
  year = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/BanerjeeN05,
  author = {Anindya Banerjee and David A. Naumann},
  title = {State Based Ownership, Reentrance, and Encapsulation},
  booktitle = {ECOOP},
  year = {2005},
  pages = {387-411},
  ee = {http://dx.doi.org/10.1007/11531142_17},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/esop/RanganathABDH05,
  author = {Venkatesh Prasad Ranganath and
               Torben Amtoft and Anindya Banerjee and
               Matthew B. Dwyer and John Hatcliff},
  title = {A New Foundation for Control-Dependence and Slicing for
               Modern Program Structures},
  booktitle = {ESOP},
  year = {2005},
  pages = {77-93},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3444{\&}spage=77},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/jacm/BanerjeeN05,
  author = {Anindya Banerjee and David A. Naumann},
  title = {Ownership confinement ensures representation independence
               for object-oriented programs},
  journal = {J. ACM},
  volume = {52},
  number = {6},
  year = {2005},
  pages = {894-960},
  ee = {http://doi.acm.org/10.1145/1101821.1101824},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/jfp/BanerjeeN05,
  author = {Anindya Banerjee and David A. Naumann},
  title = {Stack-based access control and secure information flow},
  journal = {J. Funct. Program.},
  volume = {15},
  number = {2},
  year = {2005},
  pages = {131-177},
  ee = {http://dx.doi.org/10.1017/S0956796804005453},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/cassis/BanerjeeN04,
  author = {Anindya Banerjee and David A. Naumann},
  title = {History-Based Access Control and Secure Information Flow},
  booktitle = {CASSIS},
  year = {2004},
  pages = {27-48},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3362{\&}spage=27},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sas/AmtoftB04,
  author = {Torben Amtoft and Anindya Banerjee},
  title = {Information Flow Analysis in Logical Form},
  booktitle = {SAS},
  year = {2004},
  pages = {100-115},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3148{\&}spage=100},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sas/SunBN04,
  author = {Qi Sun and Anindya Banerjee and David A. Naumann},
  title = {Modular and Constraint-Based Information Flow Inference
               for an Object-Oriented Language},
  booktitle = {SAS},
  year = {2004},
  pages = {84-99},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3148{\&}spage=84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/csfw/BanerjeeN03,
  author = {Anindya Banerjee and David A. Naumann},
  title = {Using Access Control for Secure Information Flow in a Java-like
               Language},
  booktitle = {CSFW},
  year = {2003},
  pages = {155-169},
  ee = {http://csdl.computer.org/comp/proceedings/csfw/2003/1927/00/19270155abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/mscs/BanerjeeJ03,
  author = {Anindya Banerjee and Thomas P. Jensen},
  title = {Modular Control-Flow Analysis with Rank 2 Intersection Types},
  journal = {Mathematical Structures in Computer Science},
  volume = {13},
  number = {1},
  year = {2003},
  pages = {87-124},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/csfw/BanerjeeN02,
  author = {Anindya Banerjee and David A. Naumann},
  title = {Secure Information Flow and Pointer Confinement in a Java-like
               Language},
  booktitle = {CSFW},
  year = {2002},
  pages = {253-},
  ee = {http://csdl.computer.org/comp/proceedings/csfw/2002/1689/00/16890253abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/BanerjeeN02,
  author = {Anindya Banerjee and David A. Naumann},
  title = {Representation independence, confinement and access control
               [extended abstract]},
  booktitle = {POPL},
  year = {2002},
  pages = {166-177},
  ee = {http://doi.acm.org/10.1145/503272.503289},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/tacs/BanerjeeHR01,
  author = {Anindya Banerjee and Nevin Heintze and Jon G. Riecke},
  title = {Design and Correctness of Program Transformations Based
               on Control-Flow Analysis},
  booktitle = {TACS},
  year = {2001},
  pages = {420-447},
  ee = {http://link.springer.de/link/service/series/0558/bibs/2215/22150420.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/lics/BanerjeeHR99,
  author = {Anindya Banerjee and Nevin Heintze and Jon G. Riecke},
  title = {Region Analysis and the Polymorphic Lambda Calculus},
  booktitle = {LICS},
  year = {1999},
  pages = {88-97},
  ee = {http://computer.org/conferen/proceed/lics/0158/01580088abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/AbadiBHR99,
  author = {Mart\'{\i}n Abadi and Anindya Banerjee and
               Nevin Heintze and Jon G. Riecke},
  title = {A Core Calculus of Dependency},
  booktitle = {POPL},
  year = {1999},
  pages = {147-160},
  ee = {http://doi.acm.org/10.1145/292540.292555},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/scp/BanerjeeS98,
  author = {Anindya Banerjee and David A. Schmidt},
  title = {Stackability in the Simply-Typed Call-by-Value lambda Calculus},
  journal = {Sci. Comput. Program.},
  volume = {31},
  number = {1},
  year = {1998},
  pages = {47-73},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/icfp/Banerjee97,
  author = {Anindya Banerjee},
  title = {A Modular, Polyvariant, and Type-Based Closure Analysis},
  booktitle = {ICFP},
  year = {1997},
  pages = {1-10},
  ee = {http://doi.acm.org/10.1145/258948.258951},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sas/BanerjeeS94,
  author = {Anindya Banerjee and David A. Schmidt},
  title = {Stackability in the Simply-Typed Call-by-Value Lambda Calculus},
  booktitle = {SAS},
  year = {1994},
  pages = {131-146},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/mfps/BanerjeeS93,
  author = {Anindya Banerjee and David A. Schmidt},
  title = {A Categorical Interpretation of Landin's Correspondence
               Principle},
  booktitle = {MFPS},
  year = {1993},
  pages = {587-602},
  ee = {http://dx.doi.org/10.1007/3-540-58027-1_29},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

This file was generated by bibtex2html 1.98.