Verifying the Produce of Car-Bind through Timed Petri Net.

Dong-Liang Lee, Jih-Fu Tu, Hsuan-Jung Lee, Kwang Pi Chen

Browse the full AINA paper archive.