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


Vol-1720/full3⫷Vol-1720/full4⫸Vol-1720/full5
Laura BozzelliAlberto MolinariAngelo MontanariAdriano PeronPietro Sala

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