Vol-1371⫷ Vol-1372 ⫸Vol-1373
urn:nbn:de:0074-1372-0


Vol-1372/paper1⫷Vol-1372/paper2⫸Vol-1372/paper3

Unifying Patterns for Modelling Timed Relationships in Systems and Properties