Miaomiao Zhang

Publications with FICTION

Journal Articles

  1. (2020). From Model to Implementation: A Network Algorithm Programming Language. Sci. China Inf. Sci.. PDF Cite Code DOI

Conference Papers

  1. (2020). Learning One-Clock Timed Automata. In TACAS 2020. PDF Cite Slides DOI Artifact Evaluated Best Paper Award @ FMAC 2019 Springer High-Impact Paper