Weakest precondition semantics for time and concurrency

Authors:
D. Scholefield;H. S. M. Zedan
Affiliations:
-;-
Venue:
Information Processing Letters
Year:
1992

Citing 0
Cited 2

Automatic generation of path conditions for concurrent timed systems

Theoretical Computer Science
Generating path conditions for timed systems

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

Quantified Score

Hi-index	0.89

Visualization

Abstract