DMCA

Colored Petri Net based model checking and failure analysis for E-commerce protocols (2005)

by Panagiotis Katsaros , Vasilis Odontidis , Maria Gousidou-Koutita
Venue:Dept. of Computer Science, University of Aarhus
Citations:2 - 1 self