卡洛·盖齐;迪诺·曼德里奥利;桑德罗·莫拉斯卡;毛罗·佩泽尔 使用Petri网的并发系统的符号执行。 (英文) Zbl 0689.68008号 计算。语言。 14,第4期,263-281(1989).MSC公司:60年第68季度 第68页第25页 68问题85 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Ghezzi}等人,计算。Lang.14,No.4,263--281(1989;Zbl 0689.68008) 全文: 内政部
Chandrasekaran,B。(编辑);Radichi,S。(编辑) [Zweben,S.H。;怀特,L.J。;C·盖齐。;奥斯特维尔,L.J。;L.D.福斯迪克。;R.N.泰勒。;洛杉矶克拉克。;D.J.理查森。;科恩,E.I。;泽尔,S.J。;豪登,W.E。;巴德·T·A。;R·E·费尔利。;米勒,E.F。;亨德森,J.B。;马普,T.E。;Cicu,A。;德加诺,P。;列维,G。;塞勒坦诺,A。;利古里,F。;黑莉,A。;塞里亚尼,M。;M.迈奥基。] 计算机程序测试。1981年6月29日至7月3日在意大利乌尔比诺Sogesta举行的计算机程序测试暑期学校会议记录。 (英文) Zbl 0486.68005号 阿姆斯特丹,纽约,牛津:North-Holland Publishing Company。八、 326页42.50美元;英国国防部。100.00 (1981).MSC公司:68-06 60年第68季度 00亿Bxx 68兰特 PDF格式BibTeX公司 XML格式