Leuschel, M. (1998) On the Power of Homeomorphic Embedding for Online Termination. Levi, G. (ed.) Proc. Int. Static Analysis Symp. (SAS), LNCS 1503. pp. 230-245 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: September 1998
Additional Information:
Address: Pisa, Italy
Venue - Dates:
Proc. Int. Static Analysis Symp. (SAS), LNCS 1503, 1998-08-31
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250530
URI: http://eprints.soton.ac.uk/id/eprint/250530
ISBN: ISBN 3-540-65014-8
PURE UUID: 23465779-2be5-419c-a1a3-03f98dfae218
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 08 Jan 2022 05:41
Export record
Contributors
Author:
M. Leuschel
Editor:
G. Levi
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.