author : Jean-Michel Couvreur

Short works

• On-the-Fly Verification of Linear Temporal Logic. 1999. (In FM'99 volume 1 )