%0 Conference Proceedings
%F Johnson-AVOCS:2010
%A Johnson, Kenneth
%A Besnard, Loic
%A Gautier, Thierry
%A Talpin, Jean-Pierre
%T A Synchronous Approach to Threaded Program Verification
%B Proceedings of the 2010 10th International Workshop on Automated Verification of Critical Systems
%P 168-183
%S AVOCS '10
%D 2010