Publications

Zhao, Yuhong: LTL's Intuitive Representations and Its Automaton Translation. In: Kleinjohann, Bernd; Gao, Guang R.; Kopetz, Hermann; Kleinjohann, Lisa; Rettberg, Achim editor. : Proc. of IFIP Working Conference on Distributed and Parallel Embedded Systems(DIPES2004), 1 Aug 2004, Kluwer Academic Publishers, Toulouse, France

files

paper.pdf

Bibtex

@inproceedings{hniid=1733,
author = {Zhao, Yuhong},
title = {LTL's Intuitive Representations and Its Automaton Translation},
editor = {Kleinjohann, Bernd and Gao, Guang R. and Kopetz, Hermann and Kleinjohann, Lisa and Rettberg, Achim},
booktitle = {Proc. of IFIP Working Conference on Distributed and Parallel Embedded Systems(DIPES2004)},
publisher = {Kluwer Academic Publishers, Toulouse, France},
month = {1~} # aug,
year = {2004},
}