Cited By
View all- Masopust TOsička P(2025)On algorithms verifying initial-and-final-state opacity: Complexity, special cases, and comparisonAutomatica10.1016/j.automatica.2025.112171174(112171)Online publication date: Apr-2025
- Moeller MJacobs JBelanger ODarais DSchlesinger CSmolka SFoster NSilva A(2024)KATch: A Fast Symbolic Verifier for NetKATProceedings of the ACM on Programming Languages10.1145/36564548:PLDI(1905-1928)Online publication date: 20-Jun-2024
- Montali MWinkler S(2024)Relating behaviour of data-aware process modelsData & Knowledge Engineering10.1016/j.datak.2024.102363154:COnline publication date: 1-Nov-2024
- Show More Cited By