Cited By
View all- Davydov ALarionov ANagul N(2024)Analysis and Control of Partially Observed Discrete-Event Systems via Positively Constructed FormulasComputation10.3390/computation1205009512:5(95)Online publication date: 9-May-2024
- Davydov ALarionov ANagul N(2024)On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systemsModeling and Analysis of Information Systems10.18255/1818-1015-2024-1-54-7731:1(54-77)Online publication date: 28-Mar-2024
- Noble JMackay JWrigstad TFawcet AHomer MDi Stefano L(2024)Dafny vs. Dala: Experience with Mechanising Language DesignProceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs10.1145/3678721.3686228(37-43)Online publication date: 20-Sep-2024
- Show More Cited By