Kent, S. and Mailbaum, T.S.E. and Quirk, W.J.
(1993)
Formally Specifying Temporal Constraints and Error Recovery.
In: Proceedings of IEEE First International Symposium on Requirements Engineering (RE93).
The full text of this publication is not available from this repository.
This list was generated on Sat May 18 19:01:13 2013 BST.