Computing Timed Transition Relations for Sequential Cycle-Based Simulation.

Gianpiero Cabodi, Paolo Camurati, Claudio Passerone, Stefano Quer

Browse the full DATE paper archive.