"Characterizations of Fragments of Temporal Logic over Mazurkiewicz Traces."

Bharat Adsul, Paul Gastin, Shantanu Kulkarni (2025)

Details and statistics

DOI: 10.4230/LIPICS.CONCUR.2025.5

access: open

type: Conference or Workshop Paper

metadata version: 2025-08-18