Publications

Export 1 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is De Nicola, R.  [Clear All Filters]
Book Chapter
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.