Vol-3628⫷ Vol-3629 ⫸Vol-3630
urn:nbn:de:0074-3629-0


Vol-3629/paper13⫷Vol-3629/paper14⫸Vol-3629/paper15

A Landscape of First-Order Linear Temporal Logics in Infinite-State Verification and Temporal Ontologies