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

Published in: FORTE (1993)

Keyphrases