Sciweavers

55
Voted
CADE
2004
Springer
15 years 10 months ago
TeMP: A Temporal Monodic Prover
Ullrich Hustadt, Boris Konev, Alexandre Riazanov, ...