Verifying scenarios with time Petri-nets.

Journal

Information & Software Technology

Journal Volume

43

Journal Issue

13

Pages

769-781

Date Issued

2001

Author(s)

Lee, Jonathan

Pan, Jiann-I

Kuo, Jong-Yih

DOI

10.1016/S0950-5849(01)00184-7

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/488780

URL

https://doi.org/10.1016/S0950-5849(01)00184-7

Type

journal article