My Account
Browse
All of PapyrusCommunities and CollectionsTitlesIssue DatesAuthorsAdvisorsSubjectsDisciplinesAffiliationTitles indexThis CommunityTitlesIssue DatesAuthorsAdvisorsSubjectsDisciplinesAffiliationTitles index
Discover
AuthorHaydar, May (1)NG, Janice Ka-Yee (1)Subject
Analyse dynamique (2)
"Model checker spin" (1)"Model checking" (1)Application Web (1)Automates communicants (1)... View MoreDate
2008 (2)
Type
Thèse ou mémoire / Thesis or Dissertation (2)
Language
eng (2)