Login / Signup
Dynamic Protocol Recovery.
Jochen Quante
Rainer Koschke
Published in:
WCRE (2007)
Keyphrases
</>
real world
dynamic environments
lightweight
data structure
database management systems
formal analysis