Publikationen

Seite 1 von 1.

1. Georgel Calin; Rob Myers; Dirk Pattinson; Lutz Schröder

   CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description)

   In: Carlos Areces; Stephane Demri (Hrsg.). Methods for Modalities (M4M-5). Methods for Modalities (M4M-5), November 29-30, Cachan, France, Pages …

• 1