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


None⫷None⫸None

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