Implicit representations and algorithms for the logic and stochastic analysis of discrete-state systems

Ciardo, G. (2005). Implicit representations and algorithms for the logic and stochastic analysis of discrete-state systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3670 LNCS, pp. 15–17). https://doi.org/10.1007/11549970_2