Daisuke Kikuchi

List of publications from the DBLP Bibliography Server - FAQ

2007

1 EE Daisuke Kikuchi, Naoki Kobayashi: Type-Based Verification of Correspondence Assertions for Communication Protocols. APLAS 2007: 191-205

2007
1	EE	Daisuke Kikuchi, Naoki Kobayashi: Type-Based Verification of Correspondence Assertions for Communication Protocols. APLAS 2007: 191-205

Coauthor Index