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


Webmaster, Mon May 30 13:48:30 2016