City Research Online

Items where Author is "Perez, G. A."

Up a level
Group by: Type | No Grouping
Number of items: 1.

Daviaud, L. ORCID: 0000-0002-9220-7118, Jurdzinski, M., Lazic, R. , Mazowiecki, F., Perez, G. A. & Worrell, J. (2021). When are Emptiness and Containment Decidable for Probabilistic Automata?. Journal of Computer and System Sciences, 119, pp. 78-96. doi: 10.1016/j.jcss.2021.01.006

This list was generated on Thu Mar 28 07:10:19 2024 UTC.