{"identifier":"nobleid:/w1/20260521/970EB019","arkIdentifier":"ark:/48914/w1/20260521/970EB019","version":1,"workTitle":"Automaton-Based Criteria for Membership in CTL","workType":"Journal Article","authors":"Udi Boker, Yariv Shaulian","description":null,"workUrl":null,"existingDoi":"10.1145/3209108.3209143","createdAt":"2026-05-21T17:16:11.313246Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/970EB019.v1"}