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

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