A.: Dealing with zero-time transitions in axiom systems (1999)

by A Gargantini, D Mandrioli, Morzenti
Venue:Information and Computation