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. Computer Aided Verification, Volume 10981 of LNCS, pages 507-526, Springer, 2018.
Show all