Towards the Verification of Scenarios with Time Petri-Nets.

Journal

24th International Computer Software and Applications Conference (COMPSAC 2000), 25-28 October 2000, Taipei, Taiwan

Pages

503-508

Date Issued

2000

Author(s)

Lee, Jonathan

Kuo, Jong-Yih

Fanjiang, Yong-Yi

Yang, Stephen J. H.

Pan, Jiann-I

DOI

URI

URL

Type

conference paper