City Research Online

Items where Author is "Pérez, G. A."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Publication Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Daviaud, L., Jurdziński, M., Lazić, R., Mazowiecki, F., Pérez, G. A. and Worrell, J. (2018). When is Containment Decidable for Probabilistic Automata? In: 45th International Colloquium on Automata, Languages, and Programming. Leibniz International Proceedings in Informatics (LIPIcs), 107. (121:1-121:4). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. ISBN 978-3-95977-076-7

This list was generated on Sat Oct 19 05:05:15 2019 UTC.