Bradfield, Julian Charles

Verifying temporal properties of systems. - Birkhäuser Verlag, 1992. - ( Progress in Theoretical Computer Science ).


  1. Cote: 13145. En rayon: classement par auteur.