by Sven Schneider, Leen Lambers, Fernando Orejas
Reference:
Symbolic Model Generation for Graph Properties (Sven Schneider, Leen Lambers, Fernando Orejas), In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Marieke Huisman, Julia Rubin, eds.), Springer, volume 10202, 2017.
Bibtex Entry:
@inproceedings{DBLP:conf/fase/SchneiderLO17,
author = {Sven Schneider and
Leen Lambers and
Fernando Orejas},
editor = {Marieke Huisman and
Julia Rubin},
title = {Symbolic Model Generation for Graph Properties},
booktitle = {Fundamental Approaches to Software Engineering - 20th International
Conference, {FASE} 2017, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden,
April 22-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10202},
pages = {226--243},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54494-5\_13},
doi = {10.1007/978-3-662-54494-5\_13},
timestamp = {Fri, 09 Apr 2021 18:43:03 +0200},
biburl = {https://dblp.org/rec/conf/fase/SchneiderLO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}