×
  • Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings

    Gérard Boudol Valérie Roy Robert de Simone (auth.) Joseph Sifakis (eds.)

Click on cover to enlarge.
8 - 9Hours to read