Stuttering for Abstract Probabilistic Automata
(2014) The Journal of Logic and Algebraic Programming — p. 1-19 (2014)
Files
No attached file found for this publication.
Details
- Authors
- Affiliations
Citations
Delahaye, B., Larsen Kim, G., & Legay, A. (2014). Stuttering for Abstract Probabilistic Automata. The Journal of Logic and Algebraic Programming, 1-19. https://doi.org/10.1016/j.jlap.2013.05.006 (Original work published 2014)