Expressing the Formal Semantics of CSP and CP or ADA Tasking With the Temporal Logic Language XYZ/E.
doi 10.21236/ada111504
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 1981
Authors
Publisher
Defense Technical Information Center