Verifying Temporal Logic Formulas in Abstractions of Large Reachability Graphs


Nitsche, Ulrich, (1994) Verifying Temporal Logic Formulas in Abstractions of Large Reachability Graphs Desel, Jörg, Oberweis, Andreas and Reisig, Wolfgang (eds.) At National Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge für Petrinetze, AWP'94). , p. 42.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Venue - Dates: National Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge für Petrinetze, AWP'94), 1994-01-01
Organisations: Electronics & Computer Science
ePrint ID: 252678
Date :
Date Event
1994Published
Date Deposited: 10 Mar 2000
Last Modified: 17 Apr 2017 23:31
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252678

Actions (login required)

View Item View Item