Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/birthday/Manna2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/birthday/AbadiL03,
author = {Mart{\'{\i}}n Abadi and
K. Rustan M. Leino},
editor = {Nachum Dershowitz},
title = {A Logic of Object-Oriented Programs},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {11--41},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_2},
doi = {10.1007/978-3-540-39910-0\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbadiL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AbrahamBRS03,
author = {Erika {\'{A}}brah{\'{a}}m and
Frank S. de Boer and
Willem P. de Roever and
Martin Steffen},
editor = {Nachum Dershowitz},
title = {A Compositional Operational Semantics for Java\({}_{\mbox{MT}}\)},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {290--303},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_13},
doi = {10.1007/978-3-540-39910-0\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AbrahamBRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AguirreM03,
author = {Nazareno Aguirre and
T. S. E. Maibaum},
editor = {Nachum Dershowitz},
title = {Some Institutional Requirements for Temporal Reasoning on Dynamic
Reconfiguration of Component Based Systems},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {407--435},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_20},
doi = {10.1007/978-3-540-39910-0\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AguirreM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Alfaro03,
author = {Luca de Alfaro},
editor = {Nachum Dershowitz},
title = {Game Models for Open Systems},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {269--289},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_12},
doi = {10.1007/978-3-540-39910-0\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Alfaro03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Alur03,
author = {Rajeev Alur},
editor = {Nachum Dershowitz},
title = {Formal Analysis of Hierarchical State Machines},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {42--66},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_3},
doi = {10.1007/978-3-540-39910-0\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Alur03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BensalemGL03,
author = {Saddek Bensalem and
Susanne Graf and
Yassine Lakhnech},
editor = {Nachum Dershowitz},
title = {Abstraction as the Key for Invariant Verification},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {67--99},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_4},
doi = {10.1007/978-3-540-39910-0\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BensalemGL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Bjorner03,
author = {Dines Bj{\o}rner},
editor = {Nachum Dershowitz},
title = {Domain Engineering: a "Radical Innovation" for Software and Systems
Engineering? {A} Biased Account},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {100--144},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_5},
doi = {10.1007/978-3-540-39910-0\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Bjorner03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Borger03,
author = {Egon B{\"{o}}rger},
editor = {Nachum Dershowitz},
title = {The {ASM} Ground Model Method as a Foundation for Requirements Engineering},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {145--160},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_6},
doi = {10.1007/978-3-540-39910-0\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Borger03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Broy03,
author = {Manfred Broy},
editor = {Nachum Dershowitz},
title = {A Functional Calculus for Specification and Verification of Nondeterministic
Interactive Systems},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {161--181},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_7},
doi = {10.1007/978-3-540-39910-0\_7},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Broy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CantoneOSU03,
author = {Domenico Cantone and
Eugenio G. Omodeo and
Jacob T. Schwartz and
Pietro Ursino},
editor = {Nachum Dershowitz},
title = {Notes from the Logbook of a Proof-Checker's Project},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {182--207},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_8},
doi = {10.1007/978-3-540-39910-0\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CantoneOSU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ChandruL03,
author = {Vijay Chandru and
Jean{-}Louis Lassez},
editor = {Nachum Dershowitz},
title = {Qualitative Theorem Proving in Linear Constraints},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {395--406},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_19},
doi = {10.1007/978-3-540-39910-0\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ChandruL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ClarkeV03,
author = {Edmund M. Clarke and
Helmut Veith},
editor = {Nachum Dershowitz},
title = {Counterexamples Revisited: Principles, Algorithms, Applications},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {208--224},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_9},
doi = {10.1007/978-3-540-39910-0\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ClarkeV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Comon-LundhT03,
author = {Hubert Comon{-}Lundh and
Ralf Treinen},
editor = {Nachum Dershowitz},
title = {Easy Intruder Deductions},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {225--242},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_10},
doi = {10.1007/978-3-540-39910-0\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Comon-LundhT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Cousot03,
author = {Patrick Cousot},
editor = {Nachum Dershowitz},
title = {Verification by Abstract Interpretation},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {243--268},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_11},
doi = {10.1007/978-3-540-39910-0\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Cousot03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Dershowitz03,
author = {Nachum Dershowitz},
editor = {Nachum Dershowitz},
title = {P{\ae}an to Zohar Manna},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {1--10},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_1},
doi = {10.1007/978-3-540-39910-0\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Dershowitz03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DershowitzJP03,
author = {Nachum Dershowitz and
Doddaballapur Narasimha{-}Murthy Jayasimha and
Seungjoon Park},
editor = {Nachum Dershowitz},
title = {Bounded Fairness},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {304--317},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_14},
doi = {10.1007/978-3-540-39910-0\_14},
timestamp = {Sun, 03 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DershowitzJP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FerroGP03,
author = {Alfredo Ferro and
Rosalba Giugno and
Alfredo Pulvirenti},
editor = {Nachum Dershowitz},
title = {Efficient Boundary Values Generation in General Metric Spaces for
Software Component Testing},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {318--331},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_15},
doi = {10.1007/978-3-540-39910-0\_15},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FerroGP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GunterP03,
author = {Elsa L. Gunter and
Doron A. Peled},
editor = {Nachum Dershowitz},
title = {Unit Checking: Symbolic Model Checking for a Unit of Code},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {548--567},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_24},
doi = {10.1007/978-3-540-39910-0\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GunterP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HenzingerJMS03,
author = {Thomas A. Henzinger and
Ranjit Jhala and
Rupak Majumdar and
Marco A. A. Sanvido},
editor = {Nachum Dershowitz},
title = {Extreme Model Checking},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {332--358},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_16},
doi = {10.1007/978-3-540-39910-0\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HenzingerJMS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Huet03,
author = {G{\'{e}}rard P. Huet},
editor = {Nachum Dershowitz},
title = {Automata Mista},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {359--372},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_17},
doi = {10.1007/978-3-540-39910-0\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Huet03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KatzS03,
author = {Shmuel Katz and
Marcelo Sihman},
editor = {Nachum Dershowitz},
title = {Aspect Validation Using Model Checking},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {373--394},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_18},
doi = {10.1007/978-3-540-39910-0\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KatzS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KupfermanPV03,
author = {Orna Kupferman and
Nir Piterman and
Moshe Y. Vardi},
editor = {Nachum Dershowitz},
title = {Fair Equivalence Relations},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {702--732},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_30},
doi = {10.1007/978-3-540-39910-0\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KupfermanPV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MarzanoMP03,
author = {Enrico Marzano and
Angelo Montanari and
Alberto Policriti},
editor = {Nachum Dershowitz},
title = {Binary Extensions of {S1S} and the Composition Method},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {626--644},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_27},
doi = {10.1007/978-3-540-39910-0\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MarzanoMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Moszkowski03,
author = {Ben C. Moszkowski},
editor = {Nachum Dershowitz},
title = {A Hierarchical Completeness Proof for Propositional Temporal Logic},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {480--523},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_22},
doi = {10.1007/978-3-540-39910-0\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Moszkowski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NicolaFMPT03,
author = {Rocco De Nicola and
Gian{-}Luigi Ferrari and
Ugo Montanari and
Rosario Pugliese and
Emilio Tuosto},
editor = {Nachum Dershowitz},
title = {A Formal Basis for Reasoning on Programmable QoS},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {436--479},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_21},
doi = {10.1007/978-3-540-39910-0\_21},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/NicolaFMPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Palem03,
author = {Krishna V. Palem},
editor = {Nachum Dershowitz},
title = {Computational Proof as Experiment: Probabilistic Algorithms from a
Thermodynamic Perspective},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {524--547},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_23},
doi = {10.1007/978-3-540-39910-0\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Palem03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PavlovicPS03,
author = {Dusko Pavlovic and
Peter Pepper and
Douglas R. Smith},
editor = {Nachum Dershowitz},
title = {Colimits for Concurrent Collectors},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {568--597},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_25},
doi = {10.1007/978-3-540-39910-0\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PavlovicPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PnueliA03,
author = {Amir Pnueli and
Tamarah Arons},
editor = {Nachum Dershowitz},
title = {{TLPVS:} {A} PVS-Based {LTL} Verification System},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {598--625},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_26},
doi = {10.1007/978-3-540-39910-0\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PnueliA03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ReifS03,
author = {John H. Reif and
William L. Scherlis},
editor = {Nachum Dershowitz},
title = {Deriving Effcient Graph Algorithms},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {645--681},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_28},
doi = {10.1007/978-3-540-39910-0\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ReifS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SankaranarayananSM03,
author = {Sriram Sankaranarayanan and
Henny Sipma and
Zohar Manna},
editor = {Nachum Dershowitz},
title = {Petri Net Analysis Using Invariant Generation},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {682--701},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_29},
doi = {10.1007/978-3-540-39910-0\_29},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SankaranarayananSM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Vuillemin03,
author = {Jean Vuillemin},
editor = {Nachum Dershowitz},
title = {Digital Algebra and Circuits},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {733--746},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_31},
doi = {10.1007/978-3-540-39910-0\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Vuillemin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/WaldingerJD03,
author = {Richard J. Waldinger and
Peter Jarvis and
Jennifer L. Dungan},
editor = {Nachum Dershowitz},
title = {Program Synthesis for Multi-agent Question Answering},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {747--761},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_32},
doi = {10.1007/978-3-540-39910-0\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/WaldingerJD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Zarba03,
author = {Calogero G. Zarba},
editor = {Nachum Dershowitz},
title = {Combining Sets with Elements},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {762--782},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_33},
doi = {10.1007/978-3-540-39910-0\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Zarba03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2003manna,
editor = {Nachum Dershowitz},
title = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/b12001},
doi = {10.1007/B12001},
isbn = {3-540-21002-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2003manna.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-06-06 10:10 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
