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/tacas/tacas2019-2.bht:"
download as .bib file
@inproceedings{DBLP:conf/tacas/AmparoreCDM19,
author = {Elvio Gilberto Amparore and
Gianfranco Ciardo and
Susanna Donatelli and
Andrew S. Miner},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {i {\_}{\textbackslash}mathrm Rank : {A} Variable Order Metric for
{DEDS} Subject to Linear Invariants},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {285--302},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_16},
doi = {10.1007/978-3-030-17465-1\_16},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AmparoreCDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AndreBPP19,
author = {{\'{E}}tienne Andr{\'{e}} and
Vincent Bloemen and
Laure Petrucci and
Jaco van de Pol},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Minimal-Time Synthesis for Parametric Timed Automata},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {211--228},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_12},
doi = {10.1007/978-3-030-17465-1\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AndreBPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BabarJCM19,
author = {Junaid Babar and
Chuan Jiang and
Gianfranco Ciardo and
Andrew S. Miner},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Binary Decision Diagrams with Edge-Specified Reductions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {303--318},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_17},
doi = {10.1007/978-3-030-17465-1\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BabarJCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BakhirkinB19,
author = {Alexey Bakhirkin and
Nicolas Basset},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Specification and Efficient Monitoring Beyond {STL}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {79--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_5},
doi = {10.1007/978-3-030-17465-1\_5},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BakhirkinB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BenesBPS19,
author = {Nikola Benes and
Lubos Brim and
Samuel Pastva and
David Safr{\'{a}}nek},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Digital Bifurcation Analysis of {TCP} Dynamics},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {339--356},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_19},
doi = {10.1007/978-3-030-17465-1\_19},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BenesBPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozgaIS19,
author = {Marius Bozga and
Radu Iosif and
Joseph Sifakis},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Checking Deadlock-Freedom of Parametric Component-Based Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {3--20},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_1},
doi = {10.1007/978-3-030-17465-1\_1},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozgaIS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BunteGKLNVWWW19,
author = {Olav Bunte and
Jan Friso Groote and
Jeroen J. A. Keiren and
Maurice Laveaux and
Thomas Neele and
Erik P. de Vink and
Wieger Wesselink and
Anton Wijs and
Tim A. C. Willemse},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {The mCRL2 Toolset for Analysing Concurrent Systems - Improvements
in Expressivity and Usability},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {21--39},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_2},
doi = {10.1007/978-3-030-17465-1\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BunteGKLNVWWW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ButkovaF19,
author = {Yuliya Butkova and
Gereon Fox},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Optimal Time-Bounded Reachability Analysis for Concurrent Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {191--208},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_11},
doi = {10.1007/978-3-030-17465-1\_11},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ButkovaF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CastroDDP19,
author = {Pablo F. Castro and
Pedro R. D'Argenio and
Ramiro Demasi and
Luciano Putruele},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Measuring Masking Fault-Tolerance},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {375--392},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_21},
doi = {10.1007/978-3-030-17465-1\_21},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CastroDDP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CauchiA19,
author = {Nathalie Cauchi and
Alessandro Abate},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {{\textbackslash}mathsf StocHy : Automated Verification and Synthesis
of Stochastic Processes},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {247--264},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_14},
doi = {10.1007/978-3-030-17465-1\_14},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CauchiA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CeskaJJK19,
author = {Milan Ceska and
Nils Jansen and
Sebastian Junges and
Joost{-}Pieter Katoen},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Shepherding Hordes of Markov Chains},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {172--190},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_10},
doi = {10.1007/978-3-030-17465-1\_10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CeskaJJK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DawesRFPG19,
author = {Joshua Heneage Dawes and
Giles Reger and
Giovanni Franzoni and
Andreas Pfeiffer and
Giacomo Govi},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {VyPR2: {A} Framework for Runtime Verification of Python Web Services},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {98--114},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_6},
doi = {10.1007/978-3-030-17465-1\_6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DawesRFPG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DijkMP19,
author = {Tom van Dijk and
Jeroen Meijer and
Jaco van de Pol},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Multi-core On-The-Fly Saturation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {58--75},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_4},
doi = {10.1007/978-3-030-17465-1\_4},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DijkMP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HahnST19,
author = {Christopher Hahn and
Marvin Stenger and
Leander Tentrup},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Constraint-Based Monitoring of Hyperproperties},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {115--131},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_7},
doi = {10.1007/978-3-030-17465-1\_7},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HahnST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KatelaanMZ19,
author = {Jens Katelaan and
Christoph Matheja and
Florian Zuleger},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Effective Entailment Checking for Separation Logic with Inductive
Definitions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {319--336},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_18},
doi = {10.1007/978-3-030-17465-1\_18},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/KatelaanMZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KhaledKAZ19,
author = {Mahmoud Khaled and
Eric S. Kim and
Murat Arcak and
Majid Zamani},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Synthesis of Symbolic Controllers: {A} Parallelized and Sparsity-Aware
Approach},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {265--281},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_15},
doi = {10.1007/978-3-030-17465-1\_15},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/KhaledKAZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KuraUH19,
author = {Satoshi Kura and
Natsuki Urabe and
Ichiro Hasuo},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Tail Probabilities for Randomized Program Runtimes via Martingales
for Higher Moments},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {135--153},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_8},
doi = {10.1007/978-3-030-17465-1\_8},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KuraUH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LiuOZWM19,
author = {Si Liu and
Peter Csaba {\"{O}}lveczky and
Min Zhang and
Qi Wang and
Jos{\'{e}} Meseguer},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Automatic Analysis of Consistency Properties of Distributed Transaction
Systems in Maude},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {40--57},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_3},
doi = {10.1007/978-3-030-17465-1\_3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LiuOZWM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MajumdarPS19,
author = {Rupak Majumdar and
Nir Piterman and
Anne{-}Kathrin Schmuck},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Environmentally-Friendly {GR(1)} Synthesis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {229--246},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_13},
doi = {10.1007/978-3-030-17465-1\_13},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MajumdarPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MeyerEO19,
author = {Philipp J. Meyer and
Javier Esparza and
Philip Offtermatt},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Computing the Expected Execution Time of Probabilistic Workflow Nets},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {154--171},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_9},
doi = {10.1007/978-3-030-17465-1\_9},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MeyerEO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SchubertHB19,
author = {Philipp Dominik Schubert and
Ben Hermann and
Eric Bodden},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {PhASAR: An Inter-procedural Static Analysis Framework for {C/C++}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {393--410},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_22},
doi = {10.1007/978-3-030-17465-1\_22},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/SchubertHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/StoilkovskaKWZ19,
author = {Ilina Stoilkovska and
Igor Konnov and
Josef Widder and
Florian Zuleger},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded
Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {357--374},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_20},
doi = {10.1007/978-3-030-17465-1\_20},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/StoilkovskaKWZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2019-2,
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1},
doi = {10.1007/978-3-030-17465-1},
isbn = {978-3-030-17464-4},
timestamp = {Fri, 31 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/2019-2.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-05-11 06:54 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:
