Ultes-Nitsche, U. (1999) A Persistent-Set Approach to Abstract State-Space Construction in Verification. Pavelka, J., Tel, G. and Bartosek, M. (eds.) Proc. 26th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM), LNCS 1725. pp. 463-70 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1999
Additional Information:
Address: Milovy, Czech Republic
Venue - Dates:
Proc. 26th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM), LNCS 1725, 1999-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 252664
URI: http://eprints.soton.ac.uk/id/eprint/252664
PURE UUID: 0adaa5c4-a22d-4b9c-b2fe-971fa79ed3c7
Catalogue record
Date deposited: 10 Mar 2000
Last modified: 08 Jan 2022 17:36
Export record
Contributors
Author:
U. Ultes-Nitsche
Editor:
J. Pavelka
Editor:
G. Tel
Editor:
M. Bartosek
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.