Dong-liang Lee, Jih-Fu Tu, Hsuan-Jung Lee, Kwang Pi Chen. Verifying the Produce of Car-Bind through Timed Petri Net. In Leonard Barolli, Tomoya Enokido, Fatos Xhafa, Makoto Takizawa, editors, 26th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Fukuoka, Japan, March 26-29, 2012. pages 1332-1336, IEEE, 2012. [doi]
Abstract is missing.