Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/bochman-gv

G.V. Bochman

Bibliography

    Bochman, G. V. and Gecsei, J. 1977. “A Unified Method for the Specification and Verification of Protocols.” in Information Processing 77, edited by B. Gilchrist, pp. 229–234. Amsterdam: North-Holland Publishing Co.