Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Hennicker, R.  [Clear All Filters]
2015
C. Areces, P. Fontaine, and S. Merz, “Modal Satisfiability via {SMT} Solving”, in Software, Services, and Systems, vol. 8950, R. De Nicola and R. Hennicker, Eds. 2015, p. 30-45.