Skip to content

The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains.

Ehric Ho, Andr Trudel

VenueCTIME
Year1994
ProceedingsTIME

Browse the full TIME paper archive.