tag:blogger.com,1999:blog-27705661.post7748561267633492086..comments2023-10-28T10:58:57.140+00:00Comments on Process Algebra Diary: CAV Award 2009Luca Acetohttp://www.blogger.com/profile/01092671728833265127noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-27705661.post-13142815119134298382009-07-13T05:12:33.665+00:002009-07-13T05:12:33.665+00:00The award went to he developers of GRASP and CHAFF...The award went to he developers of GRASP and CHAFF (7 of them):<br />Joan P. Marques Silva,<br />Karem A. Sakallah, <br />Matthew W. Moskewicz,<br />Conor F. Madigan, <br />Ying Zhao, <br />Lintao Zhang, <br />and Sharad Malik,Anonymousnoreply@blogger.com