Results for model generation

Publications & Outputs

1. A Tableau Calculus for Minimal Modal Model Generation

   Papacchini, F. & Schmidt, R. A., 3/11/2011, In: Electronic Notes in Theoretical Computer Science. 278, p. 159-172 14 p.

   Research output: Contribution to Journal/Magazine › Journal article › peer-review