Summary

International Technical Conference on Circuits/Systems, Computers and Communications

2008

Session Number:G7

Session:

Number:G7-4

On Verification of Marking-Dependent Terminacy for Data-Flow Program Nets

Shingo Yamaguchi,  Keisuke Komiya,  Qi-Wei Ge,  Minoru Tanaka,  

pp.-

Publication Date:2008/7/7

Online ISSN:2188-5079

DOI:10.34385/proc.39.G7-4

PDF download (133.2KB)