First Page | Document Content | |
---|---|---|
Date: 2006-10-11 06:02:38 | Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J´eron IRISA/INRIA Rennes, Campus de Beaulieu, 35042 Rennes cedex, France Abstract. WeAdd to Reading ListSource URL: www.irisa.frDownload Document from Source WebsiteFile Size: 528,56 KBShare Document on Facebook |