Conference Proceedings

Non-deterministic temporal logics for general flow systems

JM Davoren, V Coulthard, N Markey, T Moor, R Alur (ed.), GJ Pappas (ed.)

Hybrid systems: computation and control: proceedings of the 7th international workshop, HSCC 2004 | SPRINGER-VERLAG BERLIN | Published : 2004