Towards distributed model checking: a network memory storage mechanism

  • Geoffrey Miche

Student thesis: Master typesMaster in Computer science

Abstract

Date of Award2004
Original languageEnglish
SupervisorJean-Marie JACQUET (Supervisor)

Cite this

'