Vol-1189⫷ Vol-1190 ⫸Vol-1191
urn:nbn:de:0074-1190-0


Vol-1190/paper5⫷Vol-1190/paper6
Lucio Davide Spano

Defining CARE Properties Through Temporal Input Models