Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic.

Regimantas Pliuskevicius

Browse the full JELIA paper archive.