Towards distributed model checking: a network memory storage mechanism

  • Geoffrey Miche

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Résumé

la date de réponse2004
langue originaleAnglais
SuperviseurJean-Marie JACQUET (Promoteur)

Contient cette citation

'