Sciweavers

Share
CADE
2003
Springer

TRP++2.0: A Temporal Resolution Prover

9 years 8 months ago
TRP++2.0: A Temporal Resolution Prover
Ullrich Hustadt, Boris Konev
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2003
Where CADE
Authors Ullrich Hustadt, Boris Konev
Comments (0)
books