City Research Online

Items where Author is "Lazic, R."

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 Fri Mar 29 03:37:04 2024 UTC.