default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/fossacs/fossacs2022.bht:"
download as .bib file
@inproceedings{DBLP:conf/fossacs/AngluinAFG22,
author = {Dana Angluin and
Timos Antonopoulos and
Dana Fisman and
Nevin George},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity
Automata},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {1--20},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_1},
doi = {10.1007/978-3-030-99253-8\_1},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AngluinAFG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AscariBG22,
author = {Flavio Ascari and
Roberto Bruni and
Roberta Gori},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Limits and difficulties in the design of under-approximation abstract
domains},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {21--39},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_2},
doi = {10.1007/978-3-030-99253-8\_2},
timestamp = {Thu, 26 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AscariBG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BaierFPZ22,
author = {Christel Baier and
Florian Funke and
Jakob Piribauer and
Robin Ziemek},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {On probability-raising causality in Markov decision processes},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {40--60},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_3},
doi = {10.1007/978-3-030-99253-8\_3},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BaierFPZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Balasubramanian22,
author = {A. R. Balasubramanian and
Lucie Guillou and
Chana Weil{-}Kennedy},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Parameterized Analysis of Reconfigurable Broadcast Networks},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {61--80},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_4},
doi = {10.1007/978-3-030-99253-8\_4},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Balasubramanian22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BlondinE22,
author = {Michael Blondin and
Javier Esparza},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Separators in Continuous Petri Nets},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {81--100},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_5},
doi = {10.1007/978-3-030-99253-8\_5},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BlondinE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BoisseauP22,
author = {Guillaume Boisseau and
Robin Piedeleu},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Graphical Piecewise-Linear Algebra},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {101--119},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_6},
doi = {10.1007/978-3-030-99253-8\_6},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BoisseauP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BokerL22,
author = {Udi Boker and
Karoliina Lehtinen},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Token Games and History-Deterministic Quantitative Automata},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {120--139},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_7},
doi = {10.1007/978-3-030-99253-8\_7},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BokerL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BokerLS22,
author = {Udi Boker and
Karoliina Lehtinen and
Salomon Sickert},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {On the Translation of Automata to Linear Temporal Logic},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {140--160},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_8},
doi = {10.1007/978-3-030-99253-8\_8},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BokerLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BroadbentK22,
author = {Anne Broadbent and
Martti Karvonen},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Categorical composable cryptography},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {161--183},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_9},
doi = {10.1007/978-3-030-99253-8\_9},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BroadbentK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CaltaisHMT22,
author = {Georgiana Caltais and
Hossein Hojjat and
Mohammad Reza Mousavi and
H{\"{u}}nkar Can Tun{\c{c}}},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {DyNetKAT: An Algebra of Dynamic Networks},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {184--204},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_10},
doi = {10.1007/978-3-030-99253-8\_10},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CaltaisHMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CastelnovoGM22,
author = {Davide Castelnovo and
Fabio Gadducci and
Marino Miculan},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {A new criterion for \emph{M}, \emph{N}-adhesivity, with an application
to hierarchical graphs},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {205--224},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_11},
doi = {10.1007/978-3-030-99253-8\_11},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CastelnovoGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ChistikovHM22,
author = {Dmitry Chistikov and
Christoph Haase and
Alessio Mansutti},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Quantifier elimination for counting extensions of Presburger arithmetic},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {225--243},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_12},
doi = {10.1007/978-3-030-99253-8\_12},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ChistikovHM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CimattiGGMT22,
author = {Alessandro Cimatti and
Luca Geatti and
Nicola Gigante and
Angelo Montanari and
Stefano Tonetta},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {A first-order logic characterisation of safety and co-safety languages},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {244--263},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_13},
doi = {10.1007/978-3-030-99253-8\_13},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CimattiGGMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ColcombetGM22,
author = {Thomas Colcombet and
Sam van Gool and
R{\'{e}}mi Morvan},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {First-order separation over countable ordinals},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {264--284},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_14},
doi = {10.1007/978-3-030-99253-8\_14},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ColcombetGM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FervariM22,
author = {Raul Fervari and
Alessio Mansutti},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Modal Logics and Local Quantifiers: {A} Zoo in the Elementary Hierarchy},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {305--324},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_16},
doi = {10.1007/978-3-030-99253-8\_16},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/FervariM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/FinkbeinerHP22,
author = {Bernd Finkbeiner and
Philippe Heim and
Noemi Passing},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Temporal Stream Logic modulo Theories},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {325--346},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_17},
doi = {10.1007/978-3-030-99253-8\_17},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/FinkbeinerHP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GayPV22,
author = {Simon J. Gay and
Diogo Po{\c{c}}as and
Vasco T. Vasconcelos},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {The Different Shades of Infinite Session Types},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {347--367},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_18},
doi = {10.1007/978-3-030-99253-8\_18},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GayPV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HainryKMP22,
author = {Emmanuel Hainry and
Bruce M. Kapron and
Jean{-}Yves Marion and
Romain P{\'{e}}choux},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Complete and tractable machine-independent characterizations of second-order
polytime},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {368--388},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_19},
doi = {10.1007/978-3-030-99253-8\_19},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HainryKMP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/HirschowitzHLM22,
author = {Andr{\'{e}} Hirschowitz and
Tom Hirschowitz and
Ambroise Lafont and
Marco Maggesi},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Variable binding and substitution for (nameless) dummies},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {389--408},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_20},
doi = {10.1007/978-3-030-99253-8\_20},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/HirschowitzHLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Jaakkola22,
author = {Reijo Jaakkola},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Uniform Guarded Fragments},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {409--427},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_21},
doi = {10.1007/978-3-030-99253-8\_21},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Jaakkola22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/McDermottRU22,
author = {Dylan McDermott and
Exequiel Rivas and
Tarmo Uustalu},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Sweedler Theory of Monads},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {428--448},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_22},
doi = {10.1007/978-3-030-99253-8\_22},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/McDermottRU22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SantoKP22,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
Delia Kesner and
Lo{\"{\i}}c Peyrot},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {A Faithful and Quantitative Notion of Distant Reduction for Generalized
Applications},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {285--304},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_15},
doi = {10.1007/978-3-030-99253-8\_15},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/SantoKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/WinklerGK22,
author = {Tobias Winkler and
Christina Gehnen and
Joost{-}Pieter Katoen},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Model Checking Temporal Properties of Recursive Probabilistic Programs},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {449--469},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_23},
doi = {10.1007/978-3-030-99253-8\_23},
timestamp = {Mon, 25 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/WinklerGK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2022,
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8},
doi = {10.1007/978-3-030-99253-8},
isbn = {978-3-030-99252-1},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/2022.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-23 23:16 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:
