Title
Verification of several parallel coordination programs based on descriptions of their reachability sets
Catalog Number
102660230
Type
Document
Date
1981-07
Author
Lubachevsky, B.D.
Publisher
New York University (NYU). Courant Institute of Mathematical Sciences.
Category
Technical report
Collection Title
Company Collection