Safe Reasoning with Logic LTS.

Gerald Lttgen, Walter Vogler

Browse the full SOFSEM paper archive.