When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
The papers cover various topics such as applications of automata in computer-aided verification;. The 20 revised full papers together with 4 short papers were carefully selected from 38 submissions. Subtitle 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011, Revised Selected Papers.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.