%0
Generic
%T
Model checking epistemic–probabilistic logic using probabilistic interpreted systems
%A
Wan, Wei
%A
Bentahar, Jamal
%A
Ben Hamza, Abdessamad
%I
Elsevier BV
%@
0950-7051
%D
2013
%C
Elsevier BV
%U
http://slubdd.de/katalog?TN_libero_mab2
Download citation