default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dagstuhl/fm1995.bht:"
download as .bib file
@proceedings{DBLP:conf/dagstuhl/1995fm,
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027227},
doi = {10.1007/BFB0027227},
isbn = {3-540-61929-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/1995fm.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Abrial95,
author = {Jean{-}Raymond Abrial},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Steam-Boiler Control Specification Problem},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {500--509},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027252},
doi = {10.1007/BFB0027252},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Abrial95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialBL95,
author = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {The Stream Boiler Case Study: Competition of Formal Program Specification
and Development Methods},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {1--12},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027228},
doi = {10.1007/BFB0027228},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AbrialBL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AddibpourT95,
author = {Mattin Addibpour and
Enn Tyugu},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Structural Synthesis of Programs from Refined User Requirements (Programming
Boiler Control in {NUT)}},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {13--34},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027229},
doi = {10.1007/BFB0027229},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AddibpourT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AndriessensL95,
author = {Christoph Andriessens and
Thomas Lindner},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Using FOCUS, LUSTRE, and Probability Theory for the Design of a Reliable
Control Program},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {35--51},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027230},
doi = {10.1007/BFB0027230},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/AndriessensL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BeierleBDGR95,
author = {Christoph Beierle and
Egon B{\"{o}}rger and
Igor Durdanovic and
Uwe Gl{\"{a}}sser and
Elvinia Riccobene},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Refining Abstract Machine Specifications of the Steam Boiler Control
to Well Documented Executable Code},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {52--78},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027231},
doi = {10.1007/BFB0027231},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BeierleBDGR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BidoitCPR95,
author = {Michel Bidoit and
Claude Chevenier and
Christine Pellen and
J{\'{e}}r{\^{o}}me Ryckbosch},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {An Algebraic Specification of the Steam-Boiler Control System},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {79--108},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027232},
doi = {10.1007/BFB0027232},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BidoitCPR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BussowW95,
author = {Robert B{\"{u}}ssow and
Matthias Weber},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {A Steam-Boiler Control Specification with Statecharts and {Z}},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {109--128},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027233},
doi = {10.1007/BFB0027233},
timestamp = {Mon, 18 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/BussowW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ButlerSS95,
author = {Michael J. Butler and
Emil Sekerinski and
Kaisa Sere},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {An Action System Approach to the Steam Boiler Problem},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {129--148},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027234},
doi = {10.1007/BFB0027234},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ButlerSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CattelD95,
author = {Thierry Cattel and
Gr{\'{e}}gory Duval},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {The Steam-Boiler Problem in Lustre},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {149--164},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027235},
doi = {10.1007/BFB0027235},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CattelD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CuellarW95,
author = {Jorge Cu{\'{e}}llar and
Isolde Wildgruber},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {The Steam-Boiler Problem - {A} {TLT} Solution},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {165--183},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027236},
doi = {10.1007/BFB0027236},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CuellarW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/CuellarW95a,
author = {Jorge Cu{\'{e}}llar and
Isolde Wildgruber},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {The Real-Time Behavior of the Steam Boiler},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {184--202},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027237},
doi = {10.1007/BFB0027237},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/CuellarW95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DuvalC95,
author = {Gr{\'{e}}gory Duval and
Thierry Cattel},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Specifying and Verifying the Steam-Boiler Problem with {SPIN}},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {203--217},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027238},
doi = {10.1007/BFB0027238},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/DuvalC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GargantiniM95,
author = {Angelo Gargantini and
Angelo Morzenti},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {{TRIO} Specification of a Steam Boiler Controller},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {218--232},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027239},
doi = {10.1007/BFB0027239},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GargantiniM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GaudelDK95,
author = {Marie{-}Claude Gaudel and
Pierre Dauchy and
Carole Khoury},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {A Formal Specification of the Steam-Boiler Control Problem by Algebraic
Specifications with Implicit State},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {233--264},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027240},
doi = {10.1007/BFB0027240},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GaudelDK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HenzingerW95,
author = {Thomas A. Henzinger and
Howard Wong{-}Toi},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Using HyTech to Synthesize Control Parameters for a Steam Boiler},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {265--282},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027241},
doi = {10.1007/BFB0027241},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HenzingerW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LedruP95,
author = {Yves Ledru and
Marie{-}Laure Potet},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {A {VDM} Specification of the Steam-Boiler Problem},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {283--317},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027242},
doi = {10.1007/BFB0027242},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LedruP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LeebL95,
author = {Gunter Leeb and
Nancy A. Lynch},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Proving Safety Properties of the Steam Boiler Controller},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {318--338},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027243},
doi = {10.1007/BFB0027243},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LeebL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LesskeM95,
author = {Frank Le{\ss}ke and
Stephan Merz},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Steam Boiler Control Specification Problem: {A} {TLA} Solution},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {339--358},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027244},
doi = {10.1007/BFB0027244},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LesskeM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Lotzbeyer95,
author = {Annette L{\"{o}}tzbeyer},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Simulation of a Steam-Boiler},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {493--499},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027251},
doi = {10.1007/BFB0027251},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Lotzbeyer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/OveczkyKW95,
author = {Peter Csaba {\"{O}}lveczky and
Piotr Kosiuczenko and
Martin Wirsing},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {An Object-Oriented Algebraic Steam-Boiler Control Specification},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {379--402},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027246},
doi = {10.1007/BFB0027246},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/OveczkyKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SchenkeR95,
author = {Michael Schenke and
Anders P. Ravn},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Refinement from a Control Problem to Programs},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {403--427},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027247},
doi = {10.1007/BFB0027247},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/SchenkeR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schinagl95,
author = {Christian P. Schinagl},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {{VDM} Specification of the Steam-Boiler Control Using {RSL} Notation},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {428--452},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027248},
doi = {10.1007/BFB0027248},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Schinagl95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/VittH95,
author = {Jan Vitt and
Jozef Hooman},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Assertional Specification and Verification Using {PVS} of the Steam
Boiler Control System},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {453--472},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027249},
doi = {10.1007/BFB0027249},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/VittH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WilligS95,
author = {Andreas Willig and
Ina Schieferdecker},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Specifying and Verifying the Steam-Boiler Control System with Time
Extended {LOTOS}},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {473--492},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027250},
doi = {10.1007/BFB0027250},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/WilligS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/XiaoshanJ95,
author = {Xiaoshan Li and
Wang Juan},
editor = {Jean{-}Raymond Abrial and
Egon B{\"{o}}rger and
Hans Langmaack},
title = {Specifying Optimal Design of a Steam-Boiler System},
booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
June 1995)},
series = {Lecture Notes in Computer Science},
volume = {1165},
pages = {359--378},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0027245},
doi = {10.1007/BFB0027245},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/XiaoshanJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-12-24 09:22 CET 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:
