Symbolic Model Generation for Graph Properties

Schneider, Sven; Lambers, Leen; Orejas, Fernando

doi:10.1007/978-3-662-54494-5_13

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}
}