Jonathan Lee, Jong-Yih Kuo, Yong-Yi Fanjiang, Stephen J. H. Yang, Jiann-I Pan. Towards the Verification of Scenarios with Time Petri-Nets. In 24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan. pages 503-508, IEEE Computer Society, 2000. [doi]
@inproceedings{LeeKFYP00,
title = {Towards the Verification of Scenarios with Time Petri-Nets},
author = {Jonathan Lee and Jong-Yih Kuo and Yong-Yi Fanjiang and Stephen J. H. Yang and Jiann-I Pan},
year = {2000},
url = {http://computer.org/proceedings/compsac/0792/07920503abs.htm},
researchr = {https://researchr.org/publication/LeeKFYP00},
cites = {0},
citedby = {0},
pages = {503-508},
booktitle = {24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan},
publisher = {IEEE Computer Society},
isbn = {0-7695-0792-1},
}