Chinese  |  English
On-the-fly translation algorithm from linear temporal logic to Büchi automata
Laixiang SHAN, Zheng QIN, Xinye LU, Zhengcai LU
Journal of Tsinghua University(Science and Technology) . 2014, (2): 281 -288 . 

Postal Code: 100084
Tel: 010-62788108/62771385/62792976/62792994　
E-mail：xuebaost@tsinghua.edu.cn
Powered by Beijing Magtech Co. Ltd.
Visited
    Total visitors:
    Visitors of today:
    Now online:
　
Copyright © Journal of Tsinghua University(Science and Technology)