Specifying Message Passing and Time-Critical Systems with Temporal Logic
Publication | Article in Lecture Notes in Computer Science, published January 1992 |
---|---|
DOI | 10.1007/3-540-56283-4 |
This is the public page for a publication record in Dimensions, a free research insights platform that brings together information about funding, scholarly outputs, policy, patents and grants.
Loading metrics…