Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/birthday/ArecesFM15
AU - Areces, Carlos
AU - Fontaine, Pascal
AU - Merz, Stephan
TI - Modal Satisfiability via SMT Solving.
BT - Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
SP - 30
EP - 45
PY - 2015//
DO - 10.1007/978-3-319-15545-6_5
UR - https://doi.org/10.1007/978-3-319-15545-6_5
ER -
