Skip to content

Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic.

Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan

VenueCTIME
Year2010
ProceedingsTIME

Browse the full TIME paper archive.