- A Linear-Time Nominal mu-Calculus with Name Allocation Daniel Hausmann Stefan Milius Lutz Schröder Mon 23 September 2024
- Model Checking LTL with Regular Valuations for Pushdown Systems Javier Esparza Antonín Kucera Stefan Schwoon Thu 15 August 2019
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
