First Page | Document Content | |
---|---|---|
Date: 2007-08-30 04:50:00 | Type-Based Verification of Correspondence Assertions for Communication Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jpAdd to Reading ListSource URL: www-kb.is.s.u-tokyo.ac.jpDownload Document from Source WebsiteFile Size: 168,76 KBShare Document on Facebook |