by Sven Schneider, Leen Lambers, Fernando Orejas
Reference:
Symbolic Model Generation for Graph Properties (Sven Schneider, Leen Lambers, Fernando Orejas), Technical report 115, Hasso Plattner Institute at the University of Potsdam, 2017.
Bibtex Entry:
@techreport{2017_symbolic_model_generation_for_graph_properties__technical_report,
author = {Sven Schneider and Leen Lambers and Fernando Orejas},
title = {Symbolic Model Generation for Graph Properties},
number = {115},
isbn = {978-3-86956-396-1},
year = {2017},
address = {Potsdam, Germany},
institution = {Hasso Plattner Institute at the University of Potsdam},
urn = {https://nbn-resolving.org/urn:nbn:de:kobv:517-opus4-103171},
}