Sciweavers

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