Skip to main content
Kent Academic Repository

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: 1.

1997

Evans, A.S. and Holton, D.R.W. and Lai, L.M. and Watson, Phil (1997) A comparison of real-time formal specification languages. In: Duke, David J. and Evans, A.S., eds. Proceedings of the Northern Formal Methods Workshop, Ilkley, September 1996. Electronic Workshops in Computer Science. Springer Verlag ISBN 3-540-76117-9. (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 Fri May 24 07:53:50 2019 BST.