%0 Journal Article %1 journals/apin/WanBYH16 %A Wan, Wei %A Bentahar, Jamal %A Yahyaoui, Hamdi %A Hamza, Abdessamad Ben %D 2016 %J Appl. Intell. %K dblp %N 3 %P 747-776 %T Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications. %U http://dblp.uni-trier.de/db/journals/apin/apin45.html#WanBYH16 %V 45

@article{journals/apin/WanBYH16, added-at = {2024-02-05T00:00:00.000+0100}, author = {Wan, Wei and Bentahar, Jamal and Yahyaoui, Hamdi and Hamza, Abdessamad Ben}, biburl = {https://www.bibsonomy.org/bibtex/27fa390ccb388cd38eddaf9d677aa320e/dblp}, ee = {https://doi.org/10.1007/s10489-016-0790-2}, interhash = {201376f34da0c91018b7fa0b347d663a}, intrahash = {7fa390ccb388cd38eddaf9d677aa320e}, journal = {Appl. Intell.}, keywords = {dblp}, number = 3, pages = {747-776}, timestamp = {2024-04-09T02:38:06.000+0200}, title = {Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications.}, url = {http://dblp.uni-trier.de/db/journals/apin/apin45.html#WanBYH16}, volume = 45, year = 2016 }