![](/img/cover-not-exists.png)
Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications
Wan, Wei, Bentahar, Jamal, Yahyaoui, Hamdi, Ben Hamza, AbdessamadVolume:
45
Language:
english
Journal:
Applied Intelligence
DOI:
10.1007/s10489-016-0790-2
Date:
October, 2016
File:
PDF, 1.23 MB
english, 2016