Victor Schuppan, Armin Biere,
"Liveness Checking as Safety Checking for Infinite State Spaces"
: Proc. 7th Int. Workshop on Verification of Infinite-State Systems (INFINITY'05), San Francisco, CA,USA, 8-2005
Original Titel:
Liveness Checking as Safety Checking for Infinite State Spaces
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. 7th Int. Workshop on Verification of Infinite-State Systems (INFINITY'05), San Francisco, CA,USA
Forschungs-