Publications for Yijun Feng
| 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 | |
| 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 | |