Vol-1265⫷ Vol-1266 ⫸Vol-1267
urn:nbn:de:0074-1266-0


Vol-1266/paper4⫷Vol-1266/paper5⫸Vol-1266/paper6

Formal Specification of Scientific Applications Using Interval Temporal Logic