<![CDATA[TB-Blog - TechBites]]> http://www.techbites.com/ 886-234 <![CDATA[What has happened to ESL verification?: re2: What has happened to ESL verification?]]> /20091102886/myblog/blog/z000e-what-has-happened-to-esl-verification.html Thu, 19 Nov 2009 19:31:32 -0600 886-71 <![CDATA[What has happened to ESL verification?: Clarrifications on TLM]]> /20091102886/myblog/blog/z000e-what-has-happened-to-esl-verification.html Wed, 04 Nov 2009 18:27:30 -0600 886-64 <![CDATA[What has happened to ESL verification?: re: What has happened to ESL verification?]]> /20091102886/myblog/blog/z000e-what-has-happened-to-esl-verification.html Tue, 03 Nov 2009 01:46:08 -0600