Permalink
Browse files

{http://queue.acm.org/detail.cfm?id=1937179} Testable systems - deali…

…ng with undecidability.
  • Loading branch information...
1 parent 3f809a2 commit cc0982c026206fa785d36eb62e6f78da6db254d1 @dm3 committed Jun 27, 2011
Showing with 0 additions and 0 deletions.

0 comments on commit cc0982c

Please sign in to comment.