Sign in
Lessons from Using Basic LOTOS.
Mark A. Ardis
Published in:
ICSE (1994)
Keyphrases
</>
lessons learned
temporal ordering
database
constraint propagation
interactive video
web services
pattern recognition