Using PVS for Interval Temporal Logic proofs, part 1: The syntactic and semantic encoding

De Montfort University Open Research Archive

Files in this item

This item appears in the following Collection(s)