Fidge, C. J., Hayes, I. J., Martin, A. P. and Wabenhorst, A. K. (1998) A Set-Theoretic Model for Real-Time Specification and Reasoning. Jeuring, J. (ed.) Proc. 4th Int. Conf. on Mathematics of Program Construction (MPC), LNCS 1422. pp. 188-206 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1998
Additional Information:
Address: Marstrand, Sweden
Venue - Dates:
Proc. 4th Int. Conf. on Mathematics of Program Construction (MPC), LNCS 1422, 1998-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250513
URI: http://eprints.soton.ac.uk/id/eprint/250513
ISBN: ISBN 3-540-64591-8
PURE UUID: 0d7e04b8-ff14-41fd-93f0-734322314259
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 08 Jan 2022 02:38
Export record
Contributors
Author:
C. J. Fidge
Author:
I. J. Hayes
Author:
A. P. Martin
Author:
A. K. Wabenhorst
Editor:
J. Jeuring
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.