An Enhanced Version of Timed LOTOS and its Application to a Case Study.

Luc Lonard, Guy Leduc

Browse the full FORTE paper archive.