A Review Paper on Colored Petri Nets and their Application in Protocol Verification Journal title: International Journal of Research in Computer and Communication Technology Authors: RichaAgarwal, Ashish Jain Subject(s): Computer and Information Science, Telecommunications
Formal Methods in Information Security Journal title: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY Authors: AJAYI ADEBOWALE, NICULAE GOGA, OTUSILE OLUWABUKOLA, ABEL SAMUEL Subject(s):
