Last edited by Fenrilrajas
Thursday, July 23, 2020 | History

4 edition of Verification of several parallel coordination programs based on descriptions of their reachability sets. found in the catalog.

Verification of several parallel coordination programs based on descriptions of their reachability sets.

by B. D. Lubachevsky

  • 279 Want to read
  • 21 Currently reading

Published by Courant Institute of Mathematical Sciences, New York University in New York .
Written in English


Edition Notes

SeriesUltracomputer note -- 33
The Physical Object
Pagination50 p.
Number of Pages50
ID Numbers
Open LibraryOL17980798M


Share this book
You might also like
Thinking

Thinking

Essex

Essex

Orpheus and Eurydice

Orpheus and Eurydice

Compliance assistance for group health plans

Compliance assistance for group health plans

Toward an experimental definition of criminal mind.

Toward an experimental definition of criminal mind.

Psychology and sociology

Psychology and sociology

Middle distillate prices and supplies

Middle distillate prices and supplies

Mobility of criminal cases in Iowa district courts, 1956 to 1969

Mobility of criminal cases in Iowa district courts, 1956 to 1969

Two centuries of Danish design

Two centuries of Danish design

Dandelion summer

Dandelion summer

Mšecké Žehrovice in Bohemia

Mšecké Žehrovice in Bohemia

Government information and communication

Government information and communication

Verification of several parallel coordination programs based on descriptions of their reachability sets by B. D. Lubachevsky Download PDF EPUB FB2