Towards distributed model checking: a network memory storage mechanism

  • Geoffrey Miche

Student thesis: Master typesMaster en sciences informatiques

Résumé

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

Contient cette citation

'