Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation.

Peter Bulychev Thomas Chatain Alexandre David Kim Guldstrand Larsen Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation. 73-87 2009 FORMATS http://dx.doi.org/10.1007/978-3-642-04368-0_8 conf/formats/2009 db/conf/formats/formats2009.html#BulychevCDL09