Cited By
View all- Neyzov MKuzmin E(2024)Verification of declarative LTL-specification of control programs behaviorModeling and Analysis of Information Systems10.18255/1818-1015-2024-2-120-14131:2(120-141)Online publication date: 13-Jun-2024
- Esparza JRubio RSickert S(2024)Efficient Normalization of Linear Temporal LogicJournal of the ACM10.1145/365115271:2(1-42)Online publication date: 10-Apr-2024
- Yaacov TElyasaf AWeiss G(2024)Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements2024 IEEE 32nd International Requirements Engineering Conference (RE)10.1109/RE59067.2024.00019(91-102)Online publication date: 24-Jun-2024
- Show More Cited By