?

Log in

No account? Create an account
 
 
24 August 2013 @ 03:36 pm
Verifying Autonomous Systems  
It turns out that our Communications of the ACM article is available open access - I have no recollection whether this is journal policy, we paid for it to be open access, or it's just open access for a while. However if you're interested in reading one of my papers which aims to be at least a little accessible (aimed at computery folk rather than computational logicians specifically, for instance) then this is probably your opportunity.

This entry was originally posted at http://purplecat.dreamwidth.org/104834.html.