Cited By
View all- Kurucan MWojtczak D(2024)The Utilization of Single-Counter Systems Featuring Final Terminals with Non-Zero Counter ValuesÇukurova Üniversitesi Mühendislik Fakültesi Dergisi10.21605/cukurovaumfd.160610039:4(999-1014)Online publication date: 25-Dec-2024
- Chatterjee KKafshdar Goharshady ENovotný PZárevúcky JŽikelić Đ(2023)On Lexicographic Proof Rules for Probabilistic TerminationFormal Aspects of Computing10.1145/358539135:2(1-25)Online publication date: 23-Jun-2023
- Finkbeiner BFrenkel HHofmann JLohse J(2023)Automata-Based Software Model Checking of HyperpropertiesNASA Formal Methods10.1007/978-3-031-33170-1_22(361-379)Online publication date: 3-Jun-2023
- Show More Cited By