Vol-2784⫷ Vol-2785 ⫸Vol-2786
urn:nbn:de:0074-2785-0


Vol-2785/paper3⫷Vol-2785/paper4⫸Vol-2785/paper5
Alessandro ArtaleAndrea MazzulloAna Ozaki

Finite vs. Infinite Traces in Temporal Logics