Yu-Fang Chen

FIT BUT Technical Report Series

Parosh Aziz Abdulla, Richard Mayr, Yu-Fang Chen, 2010 .

Proceedings 12th International Workshop on Verification of Infinite-State Systems: Preface

Ahmed Rezine, Yu-Fang Chen, 2010 .