Automated parallelization of discrete state-space generation

No Thumbnail Available

Date

1997

Advisors

Journal Title

Series/Report No.

TR-97/01
Center for Advanced Computing and Communication technical report

Journal ISSN

Volume Title

Publisher

North Carolina State University. Center for Advanced Computing and Communication