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