T. Le Gall, B. Jeannet, T. Jéron, Verification of Communication Protocols using Abstract Interpretation of FIFO queues, in 11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia, Michael Johnson, Varmo Vene (eds.), Volume 4019, Pages 204-219, July 2006.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Bertrand Jeannet
Bertrand.Jeannet@irisa.fr

Thierry Jéron
Thierry.Jeron@irisa.fr

BibTex Reference

@InProceedings{LeGall-Jeannet-Jeron-AMAST06,
   Author = {Le Gall, T. and Jeannet, B. and Jéron, T.},
   Title = {Verification of Communication Protocols using Abstract Interpretation of FIFO queues},
   BookTitle = {11th International Conference on Algebraic Methodology and Software Technology, AMAST '06, Kuressaare, Estonia},
   editor = {Johnson, Michael and Vene, Varmo},
   Volume = {4019},
   Pages = {204--219},
   Series = {LNCS},
   Publisher = {Springer-Verlag},
   Month = {July},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.