Programming Systems Lab: Publications by Jana Koehler

Saarland University Computer Science

Select author:

1995

Constraint Deduction in an Interval-based Temporal Logic   (pdf)
Jana Koehler, Ralf Treinen
Executable Modal and Temporal Logics


Login to edit


Legal notice, Privacy policy