TIME'04 - Research Papers On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic Laura Giordano Alberto Martelli CTL Model Checking for Processing Simple XPath Queries Loredana Afanasiev Massimo Franceschet Maarten Marx Maarten de Rijke Compositional Temporal Logic Based on Partial Order Adrianna Alexander Wolfgang Reisig A Clausal Resolution Method for Branching-Time Logic ECTL+ Alexander Bolotov Artie Basukoski Return to TIME'04 Sessions ©2005 Association for Computing Machinery