Chul-Wuk Jeon

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005

1 EE Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi: Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. AINA 2005: 507-510

2005
1	EE	Chul-Wuk Jeon, Il-Gon Kim, Jin-Young Choi: Automatic Generation of the C# Code for Security Protocols Verified with Casper/FDR. AINA 2005: 507-510

Coauthor Index

1 Jin-Young Choi [1]

2 Il-Gon Kim [1]