You are here

Home ›

Publications

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.

   

                              

Powered by Drupal