Towards distributed model checking: a network memory storage mechanism

  • Geoffrey Miche

Student thesis: Master types › Master in Computer science

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

Cite this

Documents

'