Spelling suggestions: "subject:"kystèmest informatique algorithmes"" "subject:"kystèmest informatique lgorithmes""
1 |
Unfolding based verification of concurrent infinite-state systemsTrần, Thế Quang Walukiewicz, Igor. January 2009 (has links) (PDF)
Thèse de doctorat : Informatique : Bordeaux 1 : 2009. / Titre provenant de l'écran-titre.
|
Page generated in 0.1314 seconds