ePrint
Journal Title :   Recent Patents on Computer Science

Volume No :   3

Issue No :   1

Article Title :   A Formal Approach for Modeling and Testing Agent Interactions Using Recursive Colored Petri Nets

Page No :   39   To   53

Total Pages:   15

Article Details Section