Menu

Eric Y. T. Juan

1 published title

Compositional verification of concurrent and real-time systems

1 edition

  • ISBN: 140207025X
  • Kluwer Academic Publishers
  • 2002
  • Details

obnb.uk is a Good Stuff website.