Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Book section

Fiadeiro, J. and Goldsack, Stephen J. and Kent, Stuart and Quirk, W. (1992) Design Issues in Structured MAL. In: FOREST Research Deliverable Report WP1.R2. Dept of Computing, Imp College, Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Kent, Stuart and Mailbaum, T. and Quirk, W. (1992) Specifying Deontic Behaviour in Modal Action Logic. In: FOREST Research Deliverable Report WP1.R2. Imperial College, Department of Computing, Imperial College of Science, Technology and Medicine, London. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Kent, Stuart and Mailbaum, T.S.E. and Quirk, W. (1993) Formally Specifying Temporal Constraints and Error Recovery. In: Proceedings of IEEE First International Symposium on Requirements Engineering (RE93), 4-6 Jan 1993 , San Diego, CA. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Tue Mar 3 00:16:44 2015 GMT.