Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
- Yamilet R.Serrano Llerena
- , Marcel Böhme
- , Marc Brünink
- , Guoxin Su
- , David D. Rosenblum
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
8
Scopus
citations