Vol-1948⫷ Vol-1949 ⫸Vol-1950
urn:nbn:de:0074-1949-0


Vol-1949/ICTCSpaper03⫷Vol-1949/ICTCSpaper04⫸Vol-1949/ICTCSpaper05

A Model Checker for Interval Temporal Logic over Finite Structures