Vol-988⫷ Vol-989 ⫸Vol-990
urn:nbn:de:0074-989-0


None⫷None⫸None
Francesco TisatoFrancesco FiambertiDaniela Micucci

Petri Nets as a Means to Validate an Architecture for Time Aware Systems