Please report errors and suggestions, as well as examples of use of events in LTL formulas to us.  We can be reached at:

Email: Marsha Chechik  and Dimitrie O. Paun

Tel: 416-978-3820

Fax: 416-978-4765

Department of Computer Science
University of Toronto