Varea, Mauricio, Al-Hashimi, Bashir and Leuschel, Michael (2002) Finite and Infinite Model Checking of Dual Transition Petri Net Models. Second Workshop on Automated Verification of Critical Systems (AVOCS), Birmingham, United Kingdom. 15 - 16 Apr 2002. pp. 265-269 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: April 2002
Additional Information:
Event Dates: 15-16 April 2002 Address: Birmingham, UK
Venue - Dates:
Second Workshop on Automated Verification of Critical Systems (AVOCS), Birmingham, United Kingdom, 2002-04-15 - 2002-04-16
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 257839
URI: http://eprints.soton.ac.uk/id/eprint/257839
PURE UUID: 530e9c2c-5768-4c73-b0c2-70303428e523
Catalogue record
Date deposited: 24 Jun 2003
Last modified: 14 Mar 2024 06:04
Export record
Contributors
Author:
Mauricio Varea
Author:
Bashir Al-Hashimi
Author:
Michael Leuschel
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.