DMCA

Addressing unbounded parallelism in verification of software components (2006)

by Jiri Adamek
Venue:In Seventh ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2006), Las Vegas
Citations:4 - 0 self