Vol-2155⫷ Vol-2156 ⫸Vol-2157
urn:nbn:de:0074-2156-0


Vol-2156/paper4⫷Vol-2156/paper5⫸Vol-2156/paper6
Nicola FalcionelliPaolo SernaniDagmawi Neway MekuriaAldo Franco Dragoni

An Event Calculus Formalization of Timed Automata