Formal Specification and Verification of the Internet Open Trading Protocol Using Coloured Petri Nets
Author | : Chun Ouyang |
Publisher | : |
Total Pages | : 666 |
Release | : 2004 |
ISBN-10 | : OCLC:224351892 |
ISBN-13 | : |
Rating | : 4/5 ( Downloads) |
Book Synopsis Formal Specification and Verification of the Internet Open Trading Protocol Using Coloured Petri Nets by : Chun Ouyang
Download or read book Formal Specification and Verification of the Internet Open Trading Protocol Using Coloured Petri Nets written by Chun Ouyang and published by . This book was released on 2004 with total page 666 pages. Available in PDF, EPUB and Kindle. Book excerpt: