NASA NTRS · 19700027599
Analysis and synthesis of concurrent sequential programs
Abstract
Concurrent sequential program analysis and synthesis
Keep this discovery
Explore connections, maps & timelines
Bredt, T. H.. 1970-05-01. Analysis and synthesis of concurrent sequential programs. https://ntrs.nasa.gov/citations/19700027599
Cite the original work for its findings. Save a collection to share your selection of sources.