Verifying temporal logic formulas in abstractions of large reachability graphs
Verifying temporal logic formulas in abstractions of large reachability graphs
42-47
Nitsche, Ulrich
c7197159-3600-448f-97ec-281a20ce06d9
Desel, Jörg
2d80ca91-62d4-43e7-9c81-13fab52faaaa
Oberweis, Andreas
e9ddca68-1691-43a5-8c4c-90d06b0890f8
Reisig, Wolfgang
410039b8-b44b-436a-9ad4-e7fca5209511
1994
Nitsche, Ulrich
c7197159-3600-448f-97ec-281a20ce06d9
Desel, Jörg
2d80ca91-62d4-43e7-9c81-13fab52faaaa
Oberweis, Andreas
e9ddca68-1691-43a5-8c4c-90d06b0890f8
Reisig, Wolfgang
410039b8-b44b-436a-9ad4-e7fca5209511
Nitsche, Ulrich
(1994)
Verifying temporal logic formulas in abstractions of large reachability graphs.
Desel, Jörg, Oberweis, Andreas and Reisig, Wolfgang
(eds.)
National Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge für Petrinetze, AWP'94), , Berlin, Germany.
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1994
Venue - Dates:
National Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge für Petrinetze, AWP'94), , Berlin, Germany, 1994-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 252678
URI: http://eprints.soton.ac.uk/id/eprint/252678
PURE UUID: b7f7ef0f-8d73-4fc3-bfcf-5c98f6ed234c
Catalogue record
Date deposited: 10 Mar 2000
Last modified: 10 Dec 2021 20:28
Export record
Contributors
Author:
Ulrich Nitsche
Editor:
Jörg Desel
Editor:
Andreas Oberweis
Editor:
Wolfgang Reisig
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.
View more statistics