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: