Author:
Kubyshkina Ekaterina,Primiero Giuseppe
Reference45 articles.
1. Automatic symbolic verification of embedded systems;R Alur;IEEE Trans. Softw. Eng,1996
2. Universal semantics for the stochastic ?-calculus;P H A De Amorim;th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021,2021
3. Sequent calculus for classical logic probabilized;M Bori?i?;Archive for Mathematical Logic,2019