An incremental approach to reachability analysis of distributed programs with synchronous communication

No Thumbnail Available

Files

CCSP_1992_20.pdf (1.07 MB)

Date

1992

Authors

Advisors

Journal Title

Series/Report No.

Center for Communications and Signal Processing Technical report
TR-92/20

Journal ISSN

Volume Title

Publisher

North Carolina State University. Center for Communications and Signal Processing

Abstract

Description

Keywords

Citation

URI

CCSP_1992_20.pdf
 http://www.lib.ncsu.edu/resolver/1840.4/1242

Degree

Discipline

Collections

Center for Communications and Signal Processing