Automated generation of partial Markov chain from high level descriptions

P.-A. Brameret, Antoine Rauzy, J.-M. Roussel. Automated generation of partial Markov chain from high level descriptions. Rel. Eng. & Sys. Safety, 139:179-187, 2015. [doi]

Abstract

Abstract is missing.