This page shows all presentations of this author published in EasyChair Smart Slide.
Monitoring CTMCs By Multi-Clock Timed Automata
Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia and Naijun Zhan