Automated parallelization of discrete state-space generation

Show full item record

Title: Automated parallelization of discrete state-space generation
Author: Nicol, David, M.; Ciardo, Giafranco
Publisher: North Carolina State University. Center for Advanced Computing and Communication
Date: 1997
Series/Report No.: TR-97/01
Center for Advanced Computing and Communication technical report
URI: http://www.ece.ncsu.edu/cacc/show_techreport.php?id=63
http://www.lib.ncsu.edu/resolver/1840.4/1012


Files in this item

Files Size Format View
TR_1997_01.pdf 289.8Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record