|
|
|
C16. |
Katsaros, P., Odontidis, V.,
Gousidou-Koutita, M.,
Simulation and verification of
atomicity properties for an electronic cash system, In Proceedings of the
2005 European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto,
Portugal, 558-563, 2005
Keywords: |
|
|
C15. |
Katsaros, P., Odontidis, V.,
Gousidou-Koutita, M.,
Colored Petri Net based model
checking and failure analysis for e-commerce protocols, In Proceedings of the
Sixth Workshop and Tutorial on Practical
Use of Coloured Petri Nets and the CPN Tools (CPN'05), DAIMI PB-576, Dept. of Computer
Science, University of Aarhus, Denmark, 267-283, 2005
Keywords: |
|
|
|
