A timed LOTOS supporting a dense time domain and including new timed operators.

Guy Leduc, Luc Lonard

Browse the full FORTE paper archive.