« Application Server and Web Applicaiton Verification | Main | Vocabulary for "Modeling, Optimization and Computation for Software Verification" by Roozbehani et al »
September 28, 2005
Journal on Emergent Algorithms
Peter Lamborn (now at MSU) and I did some work on emergent algorithms for model checking. Might this: A Taylor & Francis Journal: International Journal of Parallel, Emergent and Distributed Systems be a good venue for that work. Time will tell.
Posted by jones at September 28, 2005 01:37 PM
Comments
Post a comment
Thanks for signing in, . Now you can comment. (sign out)
(If you haven't left a comment here before, you may need to be approved by the site owner before your comment will appear. Until then, it won't appear on the entry. Thanks for waiting.)