You seem to be attempting to access an item that has been removed from the repository.
There is an alternative version of the item you are trying to access:
Leuschel, Michael and Lehmann, Helko
(2000)
Solving Coverability Problems of Petri Nets by Partial Deduction.
Gabbrielli, Maurizio and Pfenning, Frank
(eds.)
Proceedings of the International Conference on Principles and Practice of Declarative Programming (PPDP'2000).
pp. 268-279
.
Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2
This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.