Subject
Computer Science Applications,Information Systems,Software
Reference48 articles.
1. State of the art in electronic payment systems;Asokan;IEEE Computer,1997
2. N. Asokan, Fairness in Electronic Commerce, PhD Thesis, University of Waterloo, Ontario, Canada, 1998.
3. Modeling and verification of cryptographic protocols using Coloured Petri Nets and Design/CPN;Al-Azzoni;Nordic Journal of Computing,2005
4. Algebre de proessus at synchronization;Austry;Theoretical Computer Science,1989
5. S. Basagiannis, P. Katsaros, A. Pombortsis, Interlocking control by distributed signal boxes: design and verification with the SPIN model checker, in: Proceedings of the International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), Lecture Notes in Computer Science 4330, Springer-Verlag, 2006, pp. 317–328.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献