Nitsche, U. (1998) Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One. Proc. Int. Workshop on Concurrency -- Algorithms and Tools (satellite to the 23rd Int. Symp. on Mathematical Foundations of Computer Science). pp. 160-170 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1998
Additional Information:
Address: Brno, Czech Republic
Venue - Dates:
Proc. Int. Workshop on Concurrency -- Algorithms and Tools (satellite to the 23rd Int. Symp. on Mathematical Foundations of Computer Science), 1998-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250538
URI: http://eprints.soton.ac.uk/id/eprint/250538
PURE UUID: 23f266a4-d704-4799-a0b1-13c82f76f3a0
Catalogue record
Date deposited: 04 Aug 1999
Last modified: 08 Jan 2022 08:45
Export record
Contributors
Author:
U. Nitsche
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.