Jump to : Contact | BibTex reference | EndNote reference |

Johnson-AVOCS:2010

Kenneth Johnson, Loic Besnard, Thierry Gautier, Jean-Pierre Talpin. A Synchronous Approach to Threaded Program Verification. In Proceedings of the 2010 10th International Workshop on Automated Verification of Critical Systems, AVOCS '10, Pages 168-183, 2010.

Contact

Kenneth Johnson
Loic Besnard
Thierry Gautier
Jean-Pierre Talpin

BibTex Reference

@InProceedings{Johnson-AVOCS:2010,
   Author = {Johnson, Kenneth and Besnard, Loic and Gautier, Thierry and Talpin, Jean-Pierre},
   Title = {A Synchronous Approach to Threaded Program Verification},
   BookTitle = {Proceedings of the 2010 10th International Workshop on Automated Verification of Critical Systems},
   Pages = {168--183},
   Series = {AVOCS '10},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.