Back to Results
First PageMeta Content



Type-Based Veriļ¬cation of Correspondence Assertions for Communication Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp
Add to Reading List

Document Date: 2007-08-30 04:50:00


Open Document

File Size: 168,76 KB

Share Result on Facebook
UPDATE