Hao Chi Wong;Jeannette Wing
-;-
A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach
Information and Software Technology
The RETSINA MAS, a case study
Software engineering for large-scale multi-agent systems