DMCA

Verification of Communication Protocols Using Abstract Interpretation of FIFO queues (2006)

Cached

Download Links

by Tristan Le Gall , Thierry Jéron
Venue:in "Algebraic Methodology and Software Technology, AMAST ’06", LNCS
Citations:13 - 5 self