Back to Results
First PageMeta Content



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. We
Add to Reading List

Document Date: 2006-10-11 06:02:38


Open Document

File Size: 528,56 KB

Share Result on Facebook
UPDATE