Login / Signup

On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract).

Liming CaiJianer Chen
Published in: MFCS (1993)
Keyphrases
  • extended abstract
  • power consumption
  • model checking
  • power distribution
  • real time
  • optimal solution
  • domain specific