%0 Conference Proceedings
%F LeGall-Jeannet-Jeron-AMAST06
%A Le Gall, T.
%A Jeannet, B.
%A Jéron, T.
%T Verification of Communication Protocols using Abstract Interpretation of FIFO queues
%B 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia
%E Johnson, Michael
%E Vene, Varmo
%V 4019
%P 204-219
%S LNCS
%I Springer-Verlag
%U http://www.irisa.fr/vertecs/Publis/Ps/amast06.pdf
%U http://dx.doi.org/10.1007/11784180_17
%8 July
%D 2006