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/fm/fm2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/fm/AhrendtBG09,
author = {Wolfgang Ahrendt and
Frank S. de Boer and
Immo Grabe},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Abstract Object Creation in Dynamic Logic},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {612--627},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_39},
doi = {10.1007/978-3-642-05089-3\_39},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/AhrendtBG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlbertAGP09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Field-Sensitive Value Analysis by Field-Insensitive Analysis},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {370--386},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_24},
doi = {10.1007/978-3-642-05089-3\_24},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlbertAGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlpuenteBR09,
author = {Mar{\'{\i}}a Alpuente and
Demis Ballis and
Daniel Romero},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Specification and Verification of Web Applications in Rewriting Logic},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {790--805},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_50},
doi = {10.1007/978-3-642-05089-3\_50},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlpuenteBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BicarreguiFLW09,
author = {Juan Bicarregui and
John S. Fitzgerald and
Peter Gorm Larsen and
J. C. P. Woodcock},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Industrial Practice in Formal Methods: {A} Review},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {810--813},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_52},
doi = {10.1007/978-3-642-05089-3\_52},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/BicarreguiFLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BonakdarpourK09,
author = {Borzoo Bonakdarpour and
Sandeep S. Kulkarni},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time
2-Phase Recovery},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {660--675},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_42},
doi = {10.1007/978-3-642-05089-3\_42},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BonakdarpourK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BonzanniFFK09,
author = {Nicola Bonzanni and
K. Anton Feenstra and
Wan J. Fokkink and
Elzbieta Krepska},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {What Can Formal Methods Bring to Systems Biology?},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {16--22},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_2},
doi = {10.1007/978-3-642-05089-3\_2},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BonzanniFFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Boute09,
author = {Raymond T. Boute},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Making Temporal Logic Calculational: {A} Tool for Unification and
Discovery},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {387--402},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_25},
doi = {10.1007/978-3-642-05089-3\_25},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Boute09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChenS09,
author = {Yifeng Chen and
Jeff W. Sanders},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Unifying Probability with Nondeterminism},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {467--482},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_30},
doi = {10.1007/978-3-642-05089-3\_30},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChenS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DaylightS09,
author = {Edgar G. Daylight and
Sandeep K. Shukla},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {On the Difficulties of Concurrent-System Design, Illustrated with
a 2{\texttimes}2 Switch Case Study},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {273--288},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_18},
doi = {10.1007/978-3-642-05089-3\_18},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/DaylightS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Eshuis09,
author = {Rik Eshuis},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Translating Safe Petri Nets to Statecharts in a Structure-Preserving
Way},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {239--255},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_16},
doi = {10.1007/978-3-642-05089-3\_16},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Eshuis09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GancarskiB09,
author = {Pawel Gancarski and
Andrew Butterfield},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {The Denotational Semantics of slotted-Circus},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {451--466},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_29},
doi = {10.1007/978-3-642-05089-3\_29},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GancarskiB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Gast09,
author = {Holger Gast},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Reasoning about Memory Layouts},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {628--643},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_40},
doi = {10.1007/978-3-642-05089-3\_40},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Gast09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GiannakopoulosDFK09,
author = {Theophilos Giannakopoulos and
Daniel J. Dougherty and
Kathi Fisler and
Shriram Krishnamurthi},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Towards an Operational Semantics for Alloy},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {483--498},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_31},
doi = {10.1007/978-3-642-05089-3\_31},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/GiannakopoulosDFK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GomesO09,
author = {Artur Oliveira Gomes and
Marcel Vin{\'{\i}}cius Medeiros Oliveira},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Formal Specification of a Cardiac Pacing System},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {692--707},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_44},
doi = {10.1007/978-3-642-05089-3\_44},
timestamp = {Wed, 09 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GomesO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HarrisKCJR09,
author = {William R. Harris and
Nicholas Kidd and
Sagar Chaki and
Somesh Jha and
Thomas W. Reps},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Verifying Information Flow Control over Unbounded Processes},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {773--789},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_49},
doi = {10.1007/978-3-642-05089-3\_49},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HarrisKCJR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HasanAATA09,
author = {Osman Hasan and
Naeem Abbasi and
Behzad Akbarpour and
Sofi{\`{e}}ne Tahar and
Reza Akbarpour},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Formal Reasoning about Expectation Properties for Continuous Random
Variables},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {435--450},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_28},
doi = {10.1007/978-3-642-05089-3\_28},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HasanAATA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HeidarianSV09,
author = {Faranak Heidarian and
Julien Schmaltz and
Frits W. Vaandrager},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {516--531},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_33},
doi = {10.1007/978-3-642-05089-3\_33},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HeidarianSV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HjortRLPS09,
author = {Ulrik H. Hjort and
Jacob Illum Rasmussen and
Kim Guldstrand Larsen and
Michael A. Petersen and
Arne Skou},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Model-Based {GUI} Testing Using Uppaal at Novo Nordisk},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {814--818},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_53},
doi = {10.1007/978-3-642-05089-3\_53},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HjortRLPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HoenickeLPSW09,
author = {Jochen Hoenicke and
K. Rustan M. Leino and
Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {It's Doomed; We Can Prove It},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {338--353},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_22},
doi = {10.1007/978-3-642-05089-3\_22},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HoenickeLPSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JaffarS09,
author = {Joxan Jaffar and
Andrew E. Santosa},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Recursive Abstractions for Parameterized Systems},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {72--88},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_6},
doi = {10.1007/978-3-642-05089-3\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JaffarS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JeffordsHAL09,
author = {Ralph D. Jeffords and
Constance L. Heitmeyer and
Myla Archer and
Elizabeth I. Leonard},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {A Formal Method for Developing Provably Correct Fault-Tolerant Systems
Using Partial Refinement and Composition},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {173--189},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_12},
doi = {10.1007/978-3-642-05089-3\_12},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JeffordsHAL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JohnsenKY09,
author = {Einar Broch Johnsen and
Marcel Kyas and
Ingrid Chieh Yu},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent
Objects},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {596--611},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_38},
doi = {10.1007/978-3-642-05089-3\_38},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/JohnsenKY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JostLHSH09,
author = {Steffen Jost and
Hans{-}Wolfgang Loidl and
Kevin Hammond and
Norman Scaife and
Martin Hofmann},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {"Carbon Credits" for Resource-Bounded Computations Using Amortised
Analysis},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {354--369},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_23},
doi = {10.1007/978-3-642-05089-3\_23},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JostLHSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KohlhaseLSS09,
author = {Michael Kohlhase and
Johannes Lemburg and
Lutz Schr{\"{o}}der and
Ewaryst Schulz},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Formal Management of {CAD/CAM} Processes},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {223--238},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_15},
doi = {10.1007/978-3-642-05089-3\_15},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KohlhaseLSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LangM09,
author = {Fr{\'{e}}d{\'{e}}ric Lang and
Radu Mateescu},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Partial Order Reductions Using Compositional Confluence Detection},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {157--172},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_11},
doi = {10.1007/978-3-642-05089-3\_11},
timestamp = {Thu, 29 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LangM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LarsenLNP09,
author = {Kim Guldstrand Larsen and
Shuhao Li and
Brian Nielsen and
Saulius Pusinskas},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Verifying Real-Time Systems against Scenario-Based Requirements},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {676--691},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_43},
doi = {10.1007/978-3-642-05089-3\_43},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LarsenLNP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LausdahlLL09,
author = {Kenneth Lausdahl and
Hans Kristian Agerlund Lintrup and
Peter Gorm Larsen},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Connecting {UML} and {VDM++} with Open Tool Support},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {563--578},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_36},
doi = {10.1007/978-3-642-05089-3\_36},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LausdahlLL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeinenbachS09,
author = {Dirk Leinenbach and
Thomas Santen},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Verifying the Microsoft Hyper-V Hypervisor with {VCC}},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {806--809},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_51},
doi = {10.1007/978-3-642-05089-3\_51},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LeinenbachS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeuschelFFP09,
author = {Michael Leuschel and
J{\'{e}}r{\^{o}}me Falampin and
Fabian Fritz and
Daniel Plagge},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Automated Property Verification for Large Scale {B} Models},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {708--723},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_45},
doi = {10.1007/978-3-642-05089-3\_45},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LeuschelFFP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LiuCLS09,
author = {Yang Liu and
Wei Chen and
Yanhong A. Liu and
Jun Sun},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Model Checking Linearizability via Refinement},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {321--337},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_21},
doi = {10.1007/978-3-642-05089-3\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LiuCLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LuthW09,
author = {Christoph L{\"{u}}th and
Dennis Walter},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Certifiable Specification and Verification of {C} Programs},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {419--434},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_27},
doi = {10.1007/978-3-642-05089-3\_27},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LuthW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/McIverM09,
author = {Annabelle McIver and
Carroll C. Morgan},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {\emph{Sums and Lovers: } Case Studies in Security, Compositionality
and Refinement},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {289--304},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_19},
doi = {10.1007/978-3-642-05089-3\_19},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/McIverM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/McIverMM09,
author = {Annabelle McIver and
Larissa Meinicke and
Carroll Morgan},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Security, Probability and Nearly Fair Coins in the Cryptographers'
Caf{\'{e}}},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {41--71},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_5},
doi = {10.1007/978-3-642-05089-3\_5},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/McIverMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/OHalloran09,
author = {Colin O'Halloran},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Guess and Verify - Back to the Future},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {23--32},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_3},
doi = {10.1007/978-3-642-05089-3\_3},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/OHalloran09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PlatzerC09,
author = {Andr{\'{e}} Platzer and
Edmund M. Clarke},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Formal Verification of Curved Flight Collision Avoidance Maneuvers:
{A} Case Study},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {547--562},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_35},
doi = {10.1007/978-3-642-05089-3\_35},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PlatzerC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PradellaMP09,
author = {Matteo Pradella and
Angelo Morzenti and
Pierluigi {San Pietro}},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {A Metric Encoding for Bounded Model Checking},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {741--756},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_47},
doi = {10.1007/978-3-642-05089-3\_47},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PradellaMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Rajamani09,
author = {Sriram K. Rajamani},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Verification, Testing and Statistics},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {33--40},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_4},
doi = {10.1007/978-3-642-05089-3\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Rajamani09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RamosSM09,
author = {Rodrigo Ramos and
Augusto Sampaio and
Alexandre Mota},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Systematic Development of Trustworthy Component Systems},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {140--156},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_10},
doi = {10.1007/978-3-642-05089-3\_10},
timestamp = {Thu, 09 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/RamosSM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ReevesS09,
author = {Steve Reeves and
David Streader},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {A Robust Semantics Hides Fewer Errors},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {499--515},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_32},
doi = {10.1007/978-3-642-05089-3\_32},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ReevesS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Reynolds09,
author = {Mark Reynolds},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {A Tableau for {CTL}},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {403--418},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_26},
doi = {10.1007/978-3-642-05089-3\_26},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Reynolds09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SaidBS09,
author = {Mar Yah Said and
Michael J. Butler and
Colin F. Snook},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Language and Tool Support for Class and State Machine Refinement in
{UML-B}},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {579--595},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_37},
doi = {10.1007/978-3-642-05089-3\_37},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/SaidBS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchierlSHR09,
author = {Andreas Schierl and
Gerhard Schellhorn and
Dominik Haneberg and
Wolfgang Reif},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Abstract Specification of the {UBIFS} File System for Flash Memory},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {190--206},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_13},
doi = {10.1007/978-3-642-05089-3\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchierlSHR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchriebWW09,
author = {Jonas Schrieb and
Heike Wehrheim and
Daniel Wonisch},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Three-Valued Spotlight Abstractions},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {106--122},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_8},
doi = {10.1007/978-3-642-05089-3\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchriebWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SeidlVV09,
author = {Helmut Seidl and
Vesal Vojdani and
Varmo Vene},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {A Smooth Combination of Linear and Herbrand Equalities for Polynomial
Time Must-Alias Analysis},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {644--659},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_41},
doi = {10.1007/978-3-642-05089-3\_41},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SeidlVV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ShahbazG09,
author = {Muzammil Shahbaz and
Roland Groz},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Inferring Mealy Machines},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {207--222},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_14},
doi = {10.1007/978-3-642-05089-3\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ShahbazG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ShaoKP09,
author = {Danhua Shao and
Sarfraz Khurshid and
Dewayne E. Perry},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {An Incremental Approach to Scope-Bounded Checking Using a Lightweight
Formal Method},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {757--772},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_48},
doi = {10.1007/978-3-642-05089-3\_48},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ShaoKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SouyrisWDD09,
author = {Jean Souyris and
Virginie Wiels and
David Delmas and
Herv{\'{e}} Delseny},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Formal Verification of Avionics Software Products},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {532--546},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_34},
doi = {10.1007/978-3-642-05089-3\_34},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SouyrisWDD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SunLRLD09,
author = {Jun Sun and
Yang Liu and
Abhik Roychoudhury and
Shanshan Liu and
Jin Song Dong},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Fair Model Checking with Process Counter Abstraction},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {123--139},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_9},
doi = {10.1007/978-3-642-05089-3\_9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SunLRLD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Tonetta09,
author = {Stefano Tonetta},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Abstract Model Checking without Computing the Abstraction},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {89--105},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_7},
doi = {10.1007/978-3-642-05089-3\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/Tonetta09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/TschantzW09,
author = {Michael Carl Tschantz and
Jeannette M. Wing},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Formal Methods for Privacy},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {1--15},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_1},
doi = {10.1007/978-3-642-05089-3\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/TschantzW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/VakkalankaVGK09,
author = {Sarvani S. Vakkalanka and
Anh Vo and
Ganesh Gopalakrishnan and
Robert M. Kirby},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Reduced Execution Semantics of {MPI:} From Theory to Practice},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {724--740},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_46},
doi = {10.1007/978-3-642-05089-3\_46},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/VakkalankaVGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WalkinshawDG09,
author = {Neil Walkinshaw and
John Derrick and
Qiang Guo},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Iterative Refinement of Reverse-Engineered Models by Model-Based Testing},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {305--320},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_20},
doi = {10.1007/978-3-642-05089-3\_20},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/WalkinshawDG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WangKGG09,
author = {Chao Wang and
Sudipta Kundu and
Malay K. Ganai and
Aarti Gupta},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Symbolic Predictive Analysis for Concurrent Programs},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {256--272},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_17},
doi = {10.1007/978-3-642-05089-3\_17},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/WangKGG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2009,
editor = {Ana Cavalcanti and
Dennis Dams},
title = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3},
doi = {10.1007/978-3-642-05089-3},
isbn = {978-3-642-05088-6},
timestamp = {Mon, 21 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/2009.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 07:13 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:
