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


Vol-3629/paper13⫷Vol-3629/paper14⫸Vol-3629/paper15
Alessandro ArtaleLuca GeattiNicola GiganteAndrea Mazzullo

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