[IEEE Proceedings of 2000 American Control Conference (ACC 2000) - Chicago, IL, USA (2000.6.28-2000.6.30)] Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334) - Linear logic as a tool for presentation and temporal reasoning of time Petri nets
Gao Meimei,, Huang Xiaoguang,, Wu Zhiming,Year:
2000
Language:
english
DOI:
10.1109/acc.2000.879151
File:
PDF, 407 KB
english, 2000