Return to search

Unfolding based verification of concurrent infinite-state systems

Thèse de doctorat : Informatique : Bordeaux 1 : 2009. / Titre provenant de l'écran-titre.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/495204834
Date January 2009
CreatorsTrần, Thế Quang Walukiewicz, Igor.
PublisherS. l. : Bordeaux 1,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench
SourceEn libre accès sur Internet

Page generated in 0.0101 seconds