Author:
B. D Lubachevsky
Title:
Verification of several parallel coordination programs based on descriptions of their reachability sets
Publisher:
New York: Courant Institute of Mathematical Sciences, New York University
Contributor: New York University, Institute of Fine Arts Library
Collection: newyorkuniversity
Format:
txt
Size: 20 kb