Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/11/25
Vol. E83-A
No. 11 ;
pp. 2278-2281
Type of Manuscript:
Special Section LETTER (Special Section on Concurrent Systems Technology)
Category: Keyword: time Petri net, Turing machines, decidability, |