To access the full text documents, please follow this link: http://hdl.handle.net/2117/114397
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Schneider, Sven |
dc.contributor.author | Lambers, Leen |
dc.contributor.author | Orejas Valdés, Fernando |
dc.date | 2017 |
dc.identifier.citation | Schneider, S., Lambers, L., Orejas, F. Symbolic model generation for graph properties. A: International Conference on Fundamental Approaches to Software Engineering. "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". Uppsala: Springer, 2017, p. 226-243. |
dc.identifier.citation | 978-3-662-54494-5 |
dc.identifier.citation | 10.1007/978-3-662-54494-5_13 |
dc.identifier.uri | http://hdl.handle.net/2117/114397 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | https://link.springer.com/chapter/10.1007/978-3-662-54494-5_13 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Set theory |
dc.subject | Graph theory |
dc.subject | Graph properties |
dc.subject | Nested graph conditions |
dc.subject | Model generation |
dc.subject | Tableau method |
dc.subject | Satisfiability solving |
dc.subject | Graph transformation |
dc.subject | Conjunts, Teoria de |
dc.subject | Grafs, Teoria de |
dc.title | Symbolic model generation for graph properties |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |