Automated parallelization of discrete state-space generation

Simple item page
dc.contributor.authorNicol, David, M.
dc.contributor.authorCiardo, Giafranco
dc.date.accessioned2007-01-04T20:12:56Z
dc.date.available2007-01-04T20:12:56Z
dc.date.issued1997
dc.format.extent296798 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://www.ece.ncsu.edu/cacc/show_techreport.php?id=63
dc.identifier.urihttp://www.lib.ncsu.edu/resolver/1840.4/1012
dc.language.isoen
dc.publisherNorth Carolina State University. Center for Advanced Computing and Communication
dc.relation.ispartofseriesTR-97/01
dc.relation.ispartofseriesCenter for Advanced Computing and Communication technical report
dc.titleAutomated parallelization of discrete state-space generation
dc.typeTechnical report

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TR_1997_01.pdf
Size:
289.84 KB
Format:
Adobe Portable Document Format
Download

Collections

Center for Advanced Computing and Communication