Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

✍ Scribed by Shengyuan Wang; Yingyi Liang; Yuan Dong

• Book ID: 108485067
• Publisher: Bioline International
• Year: 2007
• Tongue: English
• Weight: 122 KB
• Volume: 12
• Category: Article
• ISSN: 1007-0214
• DOI: 10.1016/s1007-0214(07)70176-1