@incollection{ABHMRSS98,
author = {W. Ahrendt and B. Beckert and R. H\"{a}hnle and
W. Menzel and W.Reif and G. Schellhorn and P. Schmitt},
title = {Integration of Automated and Interactive Theorem
Proving},
publisher = {Kluwer},
booktitle = {Automated Deduction --- A Basis for Applications},
editor = {W. Bibel and P. Schmitt},
year = {1998},
volume = {I, 3}
}
@inproceedings{AhrendtBBGHHMMS02,
author = {Wolfgang Ahrendt and
Thomas Baar and
Bernhard Beckert and
Martin Giese and
Elmar Habermalz and
Reiner H{\"a}hnle and
Wolfram Menzel and
Wojciech Mostowski and
Peter H. Schmitt},
title = {The KeY System: Integrating Object-Oriented Design and Formal
Methods},
editor = {Ralf-Detlef Kutsche and
Herbert Weber},
booktitle = {Fundamental Approaches to Software Engineering,
5th International Conference, FASE 2002,
held as Part of the Joint European
Conferences on Theory and Practice of Software, ETAPS 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2306},
year = {2002},
pages = {327-330},
isbn = {3-540-43353-8},
ee = {https://dx.doi.org/10.1007/3-540-45923-5_23}
}
@inproceedings{AhrendtBBGHHMS00,
author = {Wolfgang Ahrendt and
Thomas Baar and
Bernhard Beckert and
Martin Giese and
Elmar Habermalz and
Reiner H{\"a}hnle and
Wolfram Menzel and
Peter H. Schmitt},
title = {The KeY Approach: Integrating Object Oriented Design and
Formal Verification},
editor = {Manuel Ojeda-Aciego and
Inman P. de Guzm{\'a}n and
Gerhard Brewka and
Lu\'{\i}s Moniz Pereira},
booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA
2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1919},
year = {2000},
pages = {21-36},
isbn = {3-540-41131-3},
ee = {https://dx.doi.org/10.1007/3-540-40006-0_3}
}
@inproceedings{AhrendtBHS07,
author = {Wolfgang Ahrendt and
Bernhard Beckert and
Reiner H{\"a}hnle and
Peter H. Schmitt},
title = {KeY: A Formal Method for Object-Oriented Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems,
9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos,
Cyprus, June 6-8, 2007, Proceedings},
editor = {Marcello M. Bonsangue and
Einar Broch Johnsen},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4468},
year = {2007},
pages = {32-43},
isbn = {978-3-540-72919-8},
ee = {https://dx.doi.org/10.1007/978-3-540-72952-5_2}
}
@inproceedings{BaarBS01,
author = {Thomas Baar and
Bernhard Beckert and
Peter H. Schmitt},
title = {An Extension of Dynamic Logic for Modelling OCL's @pre Operator},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
booktitle = {Perspectives of System Informatics, 4th International Andrei
Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk,
Russia, July 2-6, 2001, Revised Papers},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2244},
year = {2001},
pages = {47-54},
isbn = {3-540-43075-X},
ee = {https://dx.doi.org/10.1007/3-540-45575-2_7}
}
@article{BaarHSS00,
author = {Thomas Baar and
Reiner H{\"a}hnle and
Theo Sattler and
Peter H. Schmitt},
title = {Entwurfgesteuerte Erzeugung von OCL-Constraints},
journal = {Softwaretechnik-Trends},
volume = {20},
number = {3},
year = {2000},
ee = {https://pi.informatik.uni-siegen.de/stt/20_3/20_3_Baar.ps},
bibsource = {DBLP, https://dblp.uni-trier.de}
}
@inproceedings{BeckertHS06,
author = {Bernhard Beckert and
Reiner H{\"a}hnle and
Peter H. Schmitt},
title = {Integrating Object-Oriented Design and Deductive Verification
of Software},
booktitle = {Fourth IEEE International Conference on Software Engineering
and Formal Methods (SEFM 2006), 11-15 September 2006, Pune,
India},
publisher = {IEEE Computer Society},
year = {2006},
pages = {260},
isbn = {0-7695-2678-0},
ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2006.25}
}
@inproceedings{BeckertS03,
author = {Bernhard Beckert and
Peter H. Schmitt},
title = {Program Verification Using Change Information},
booktitle = {1st International Conference on Software Engineering and
Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane,
Australia},
publisher = {IEEE Computer Society},
year = {2003},
pages = {91-},
isbn = {0-7695-1949-0},
ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2003.1236211}
}
@inproceedings{BeckertSS05,
author = {Bernhard Beckert and
Steffen Schlager and
Peter H. Schmitt},
title = {An Improved Rule for While Loops in Deductive Program Verification},
booktitle = {Formal Methods and Software Engineering, 7th International
Conference on Formal Engineering Methods, ICFEM 2005, Manchester,
UK, November 1-4, 2005, Proceedings},
editor = {Kung-Kiu Lau and
Richard Banach},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3785},
year = {2005},
pages = {315-329},
isbn = {3-540-29797-9},
ee = {https://dx.doi.org/10.1007/11576280_22}
}
@inproceedings{BHS93,
author = {Bernhard Beckert and Reiner H\"{a}hnle and
Peter H. Schmitt},
booktitle = {Proceedings of the third {K}urt {G}\"{o}del Colloquium
{KGC}'93, Brno, Czech Republic},
editor = {Georg Gottlob and Alexander Leitsch and Daniele Mundici},
month = aug,
pages = {108--119},
publisher = {Springer {LNCS} 713},
title = {The {\em even more} liberalized $\delta$-rule in free variable
semantic tableaux},
year = {1993}
}
@inproceedings{BHSS00,
author = {Thomas Baar and Reiner H\"ahnle and Theo Sattler and
Peter H. Schmitt},
title = {{E}ntwurfsmustergesteuerte {E}rzeugung von
{OCL}-{C}on\-straints},
booktitle = {Informatik 2000, 30.\ Jahrestagung der Gesellschaft f\"ur Infomatik},
editor = {K. Mehlhorn and G. Snelting},
month = sep,
pages = {389--404},
publisher = {Springer},
isbn_issn = {3-540-67880-8},
year = {2000}
}
@inproceedings{BoergerSchmitt90,
author = {Egon B\"{o}rger and Peter~H.~Schmitt},
booktitle = {Proceedings of Computer Science Logic, Heidelberg},
pages = {67 -- 79},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
title = {A formal operational semantics for {P}rolog {III}
using dynamic algebras},
volume = {533},
year = {1990}
}
@article{BoergerSchmitt97,
author = {Egon B\"{o}rger and Peter H.Schmitt},
journal = {J.~Logic and Computation},
number = {5},
pages = {661--683},
title = {A Description of the Tableau Method Using Abstract
State Machines},
volume = {7},
year = {1997}
}
@inproceedings{BubelHS08,
author = {Richard Bubel and
Reiner H{\"a}hnle and
Peter H. Schmitt},
title = {Specification Predicates with Explicit Dependency Information},
booktitle = {VERIFY},
editor = {Bernhard Beckert and
Gerwin Klein},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {372},
year = {2008},
ee = {https://ceur-ws.org/Vol-372/paper05.pdf}
}
@article{DixSchmitt93,
author = {J\"{u}rgen~Dix and Peter~H. Schmitt},
journal = {Kognitionswissenschaft},
pages = {53-69},
title = {Nichtmonotones Schlie{\ss}en:
Wieviel Nichtmonotonie ist n{\"o}tig?},
volume = {3},
number = {1},
year = {1993}
}
@inproceedings{fapr96,
author = {W.~May and P.~H.~Schmitt},
title = {A Tableau Calculus For First-Order Branching Time Logic},
editor = {D.~.M.~Gabbay and H.~J.~Ohlbach},
series = {LNCS},
number = {1085},
pages = {399--413},
booktitle = {Intl.\ Conf.\ on Formal and Applied Practical
Reasoning, FAPR'96},
year = {1996},
publisher = {Springer}
}
@inproceedings{FaragoS09,
author = {David Farag{\'o} and
Peter H. Schmitt},
title = {Improving Non-Progress Cycle Checks},
booktitle = {SPIN},
editor = {Corina S. Pasareanu},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5578},
year = {2009},
pages = {50-67},
ee = {https://dx.doi.org/10.1007/978-3-642-02652-2_8},
isbn = {978-3-642-02651-5}
}
@article{HaehnleMenzelEA98,
author = {Reiner H\"ahnle and Wolfram Menzel and Peter H. Schmitt},
title = {Integrierter deduktiver {S}oftware-{E}ntwurf},
journal = {KI},
number = {4},
volume = {98},
pages = {40--41},
year = {1998},
note = {In German}
}
@article{HaehnleMenzelSchmitt98,
author = {Reiner H\protect\"{a}hnle and Wolfram Menzel and Peter~H.~Schmitt},
journal = {KI},
number = {4},
pages = {40--41},
title = {Integrierter {D}eduktiver {S}oftware-{E}ntwurf},
volume = {12},
year = {1998}
}
@article{HaehnleSchmitt94,
author = {Reiner H\"{a}hnle and Peter~H. Schmitt},
journal = {Journal of Automated Reasoning},
pages = {211--221},
title = {The liberalized $\delta$--rule in free
variable semantic tableaux},
volume = {13},
year = {1994}
}
@article{KeY2005,
author = {Wolfgang Ahrendt and Thomas Baar and
Bernhard Beckert and Richard Bubel and
Martin Giese and Reiner H\"ahnle and
Wolfram Menzel and Wojciech Mostowski and
Andreas Roth and Steffen Schlager and
Peter H. Schmitt},
title = {The {KeY} Tool},
journal = {Software and System Modeling},
volume = {4},
pages = {32-54},
year = {2005},
doi = {https://springerlink.metapress.com/openurl.asp?genre=article&id=doi:10.1007/s10270-004-0058-x},
publisher = {Springer}
}
@article{KISS98,
author = {Harald Ganzinger and
J{\"o}rg H. Siekmann and
Peter H. Schmitt},
title = {Wohin geht die automatische {D}eduktion?},
journal = {KI},
volume = {12},
number = {4},
year = {1998},
pages = {33-37},
bibsource = {DBLP, https://dblp.uni-trier.de}
}
@inproceedings{KlebanovRSS05,
author = {Vladimir Klebanov and
Philipp R{\"u}mmer and
Steffen Schlager and
Peter H. Schmitt},
title = {Verification of JCSP Programs},
booktitle = {The 28th Communicating Process Architectures Conference,
CPA 2005, organised under the auspices of WoTUG, Philips
and the Technische Universiteit Eindhoven, Eindhoven, The
Netherlands, 18-21 September 2005},
editor = {Jan F. Broenink and
Herman W. Roebbers and
Johan P. E. Sunter and
Peter H. Welch and
David C. Wood},
publisher = {IOS Press},
series = {Concurrent Systems Engineering Series},
volume = {63},
year = {2005},
pages = {203-218},
isbn = {978-1-58603-561-7},
ee = {https://www.booksonline.iospress.nl/Content/View.aspx?piid=696}
}
@inproceedings{KrotzschRS10,
author = {Markus Kr{\"o}tzsch and
Sebastian Rudolph and
Peter H. Schmitt},
title = {On the Semantic Relationship between Datalog and Description
Logics},
booktitle = {RR},
editor = {Pascal Hitzler and
Thomas Lukasiewicz},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6333},
year = {2010},
pages = {88-102},
isbn = {978-3-642-15917-6},
ee = {https://dx.doi.org/10.1007/978-3-642-15918-3_8}
}
@inproceedings{PapeSchmitt97,
author = {Christian Pape and Peter H. Schmitt},
title = {{V}isualizations for {P}roof {P}resentation in
{T}heoretical {C}omputer {S}cience {E}ducation},
editor = {Z. Halim and Th. Ottmann and Z. Razak},
booktitle = {Proceedings of International Conference on Computers in
Education, Kuching, Sarawak, Malaysia, December 2--6},
year = {1997},
pages = {229--236},
publisher = {Association for the Advancement of Computing in
Education},
abstract = {This paper deals with the use of visualization
in teaching theoretical computer science courses
to undergraduate students. The particular challenge
of visual support for abstract concepts and rigorous
proofs is addressed by three questions: which
objects should be visualized? in which place in a
proof should we use visualizations? and what are
the expected benefits of interactive visualization
in the domain of theoretical computer science?
We demonstrate our approach by one detailed example
taken from the area of elementary computability
theory.}
}
@incollection{PoseggaSchmitt99,
author = {Joachim~Posegga and Peter~H.~Schmitt},
pages = {581--629},
title = {Implementing Semantic Tableaux},
publisher = {Kluwer Academic Publishers},
booktitle = {Handbook of Tableau Methods},
editor = {Marcello D\protect\'{}Agostino and Dov~M.~Gabbay
and Reiner H\protect\"{a}hnle and Joachim Posegga},
year = {1999}
}
@inproceedings{SchebenS11,
author = {Christoph Scheben and
Peter H. Schmitt},
title = {Verification of Information Flow Properties of Java Programs
without Approximations},
booktitle = {FoVeOOS},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Dilian Gurov},
year = {2011},
pages = {232-249},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
vol = {7421},
isbn = {978-3-642-31761-3},
ee = {https://dx.doi.org/10.1007/978-3-642-31762-0_15}
}
@article{Schmitt76,
author = {Peter H. Schmitt},
journal = {Annales Sci. de l'Universit\'{e} de Clermont},
pages = {135--155},
title = {The model completion of stone algebras},
volume = {60},
year = {1976}
}
@article{Schmitt77,
author = {Peter H. Schmitt},
journal = {Algebra Universalis},
pages = {205 -- 209},
title = {Normal Double Stone Algebras},
volume = {7},
year = {1977}
}
@article{Schmitt82a,
author = {Peter H. Schmitt},
journal = {Zeitschrift f. Mathematische Logik},
pages = {323--329},
title = {The elementary theory of torsionfree abelian groups with a
predicate specifying a subgroup},
volume = {28},
year = {1982}
}
@article{Schmitt83a,
author = {Peter H. Schmitt},
journal = {Fundamenta Mathematicae},
pages = {135--150},
title = {The l$^{t}$-theory of profinite {A}belian groups},
volume = {69},
year = {1983}
}
@article{Schmitt83b,
author = {Peter H. Schmitt},
journal = {Algebra Universalis},
pages = {135--142},
title = {Algebraically complete lattices},
volume = {17},
year = {1983}
}
@inproceedings{Schmitt83c,
author = {Peter H. Schmitt},
booktitle = {Models and Sets, Proc. of the Logic Colloqium 1983,
Aachen},
pages = {389--418},
publisher = {Springer Verlag, Lecture Notes in Mathematics},
title = {Model- and substructure complete theories of
ordered {A}belian groups},
volume = {1103},
year = {1983}
}
@inproceedings{Schmitt83d,
author = {Peter H. Schmitt},
booktitle = {Compte rendu de la table ronde de Logique,
15. - 16. Oct. 1983},
editor = {F. Delon and D. Lascar and M. Parigot and G. Sabbagh},
pages = {67--77},
publisher = {Memoire de la Soci\'{e}t\'{e} Math\'{e}matique de France},
title = {Undecidable theories of valuated abelian groups},
volume = {112},
year = {1983}
}
@article{Schmitt84,
author = {Peter~H. Schmitt},
journal = {Information and Control},
pages = {147 -- 158},
title = {Diamond formulas: A fragment of dynamic logic with recursively
enumerable validity problem},
volume = {61},
year = {1984}
}
@inproceedings{Schmitt86a,
author = {Peter~H. Schmitt},
booktitle = {8$^{th}$ International Conference on Automated Deduction},
editor = {J\"{o}rg~H.~Siekmann},
pages = {190--198},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
volume = {230},
title = {Computational aspects of three--valued logic},
year = {1986}
}
@inproceedings{Schmitt86b,
author = {Peter~H.~Schmitt},
booktitle = {Proc. of the Logic Colloqium, 1984, Manchester},
editor = {J.~B.~Paris and A.~J.~Wilkie and G.~M.~Wilmers},
pages = {245 -- 276},
publisher = {North Holland Publishing Co.},
series = {Studies in Logic},
title = {Model theory for valuated abelian groups},
volume = {120},
year = {1986}
}
@article{Schmitt87b,
author = {Peter~H.~Schmitt},
journal = {Informatik Forschung und Entwicklung},
pages = {182--190},
title = {Eine dreiwertige {L}ogik zur {V}erarbeitung
partieller {I}nformation},
volume = {2},
year = {1987}
}
@inproceedings{Schmitt87e,
author = {Peter~H. Schmitt},
booktitle = {Proc. of the 1$^{st}$ workshop on Computer Science Logic},
pages = {235 -- 262},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
title = {A survey on rewrite systems},
volume = {329},
year = {1987}
}
@inproceedings{Schmitt89,
editor = {Rudi Studer},
author = {Peter~H. Schmitt},
booktitle = {{P}roceedings {I}nternational {S}cientific {S}ymposium
on {N}atural {L}anguage and {L}ogic, {H}amburg},
title = {Perspectives in multi--valued logic},
publisher = {Springer Verlag},
series = {Lecture Notes in Artificial Intelligence},
volume = {459},
pages = {206 -- 220},
year = {1990}
}
@inproceedings{Schmitt91,
author = {Peter~H. Schmitt},
booktitle = {Text Understanding in LILOG, Final Report on the
IBM Germany LILOG-Project},
editor = {C.-R.~Rollinger and O.~Herog},
pages = {394 -- 401},
publisher = {Springer Verlag},
series = {Lecture Notes in AI},
title = {Deductive aspects of three-valued logic},
volume = {546},
year = {1991}
}
@article{SchmittCherlin81,
author = {Greogry Cherlin and Peter H. Schmitt},
journal = {Journal of Symbolic Logic},
pages = {761 -- 772},
title = {Undecidable $l^{t}$-theories of topological abelian groups},
volume = {46(4)},
year = {1981}
}
@article{SchmittCherlin83,
author = {Gregory Cherlin and Peter~H.~Schmitt},
journal = {Annals of Pure and Applied Logic},
pages = {49 -- 85},
title = {Locally pure topological abelian groups: Elementary invariants},
volume = {24},
year = {1983}
}
@inproceedings{SchmittDixPos90,
author = {J\"{u}rgen Dix and Joachim Posegga and Peter~H.~Schmitt},
booktitle = {Proc. of the First Internat. Conf. on Expert Planning},
pages = {157 -- 162},
series = {IEE Conference Publications},
title = {Modal logics for AI planning},
volume = {322},
year = {1990}
}
@inproceedings{Schmittetal88,
author = {J.~D\"{o}rre and U.~Pletat and C.-R.~Rollinger and
P.~H.~Schmitt and R.~Studer and Ch.~Beierle},
booktitle = {Proc. 2nd CSL workshop, Duisburg},
pages = {14 -- 51},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
title = {The knowledge representation language $l_{LILOG}$},
volume = {385},
year = {1988}
}
@article{Schmittetal92a,
author = {Ch.Beierle and U.~Hedst\"{u}ck and U.~Pletat and P.~H.~Schmitt
and J.~Siekmann},
journal = {Journal of AI},
pages = {149-191},
title = {An order-sorted logic for knowledge representation},
volume = {55},
year = {1992}
}
@article{SchmittGurevich84,
author = {Yuri Gurevich and Peter~H. Schmitt},
journal = {Transactions of the American Mahematical Society},
pages = {171 -- 182},
title = {The theory of ordered abelian groups does not have the independence property},
volume = 284,
year = 1984
}
@inproceedings{SchmittHedtstueck90,
author = {Peter~H. Schmitt and U. Hedtst\"{u}ck},
booktitle = {Sorts and Types in Artificial Intelligence,
Proc. of the Workshop, Ehringerfeld},
editor = {U.~Hedst\"{u}ck, C.-R.~Rollinger, K.~H.~Bl\"{a}sius},
pages = {61--72},
publisher = {Springer Verlag},
series = {Lecture Notes in AI},
title = {A calculus for order-sorted predicate logic
with sort literals},
volume = {418},
year = {1990}
}
@inproceedings{SchmittKarpKB87,
author = {Marek Karpinski and Hans~Kleine B\"{u}ning and
Peter~H.~Schmitt},
booktitle = {Proc. of the 1$^{st}$ workshop on Computer Science Logic},
pages = {129 -- 137},
publisher = {Springer Verlag},
series = {Lecture Notes in Computer Science},
title = {The computational complexity of quantified Horn clauses},
volume = {329},
year = {1987}
}
@article{SchmittPos95,
author = {Joachim Posegga and Peter H.~Schmitt},
journal = {J.Logic and Computation},
title = {Automated Deduction with {S}hannon Graphs},
volume = {5},
number = {6},
pages = {697 - 729},
year = {1995}
}
@inproceedings{SchmittT07,
author = {Peter H. Schmitt and
Isabel Tonin},
title = {Verifying the Mondex Case Study},
booktitle = {Fifth IEEE International Conference on Software Engineering
and Formal Methods (SEFM 2007), 10-14 September 2007, London,
England, UK},
publisher = {IEEE Computer Society},
year = {2007},
pages = {47-58},
isbn = {978-0-7695-2884-7},
ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2007.47}
}
@inproceedings{SchmittUW10,
author = {Peter H. Schmitt and
Mattias Ulbrich and
Benjamin Wei{\ss}},
title = {Dynamic Frames in {J}ava Dynamic Logic},
editor = {Bernhard Beckert and
Claude March{\'e}},
booktitle = {FoVeOOS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6528},
year = {2010},
pages = {138-152},
isbn = {978-3-642-18069-9},
ee = {https://dx.doi.org/10.1007/978-3-642-18070-5_10}
}
@inproceedings{SchmittW07,
author = {Peter H. Schmitt and
Benjamin Wei{\ss}},
title = {Inferring Invariants by Symbolic Execution},
booktitle = {VERIFY},
editor = {Bernhard Beckert},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {259},
year = {2007},
ee = {https://ceur-ws.org/Vol-259/paper16.pdf}
}
@inproceedings{SchmittWernecke90a,
author = {Wernecke Wolfgang and Peter H.~Schmitt},
booktitle = {Sorts and Types in Artificial Intelligence,
Proc. of the Workshop, Ehringerfeld},
editor = {U.~Hedst\"{u}ck, C.-R.~Rollinger, K.~H.~Bl\"{a}sius},
pages = {49 -- 60},
publisher = {Springer Verlag},
series = {Lecture Notes in AI},
title = {Tableau calculus for order-sorted logic},
volume = {418},
year = {1990}
}
@inproceedings{tacas97,
author = {Jean Goubault-Larrecq and Peter H.~Schmitt},
title = {A Tableau System for Linear-TIME Temporal Logic},
year = {1997},
booktitle = {Proceedings of the Third International Workshop
on Tools and Algorithms for the Construction and
Analysis of Systems, TACAS'97, Enschede, the Netherlands
April 02-04},
publisher = {Springer},
editor = {Ed Brinksma},
series = {Lecture Notes in Computer Science},
volume = {1217},
pages = {130--144}
}
This file was generated by bibtex2html 1.98.