Publications

Publications for Bican Xia

2018

[bibtex]
Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan. Monitoring CTMCs By Multi-Clock Timed Automata. Proc. of CAV, Volume of LNCS, , 2018.
Show all