Efficient encoding for bounded model checking of timed automata

发表刊物：

IEEJ Transactions on Electrical and Electronic Engineering【SCI检索】

是否译文：

否

发表时间：

2017-05-09

收录刊物：

SCI

第一作者：

Zuxi Chen, etc