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


Vol-1372/paper1⫷Vol-1372/paper2⫸Vol-1372/paper3
Étienne AndréLaure Petrucci

Unifying Patterns for Modelling Timed Relationships in Systems and Properties