1. A roadmap to pervasive systems verification
    Savas Konur & Michael Fisher 2015. The Knowledge Engineering Review Vol.30 n°03 p.324
    doi : 10.1017/S0269888914000228
  2. Combined model checking for temporal, probabilistic, and real-time logics
    Savas Konur et al. 2013. Theoretical Computer Science Vol.503 p.61
    doi : 10.1016/j.tcs.2013.07.012

Mise-à-jour / Updated: 2017-09-04