Vol-1719⫷ Vol-1720 ⫸Vol-1721
urn:nbn:de:0074-1720-0


Vol-1720/full3⫷Vol-1720/full4⫸Vol-1720/full5

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling