New Results - Formalismes et techniques de vérification
Stefan Haar,Xavier Rebeuf, Ricardo Dos Santosmarques,Gerardo Satriano,Francoise Simonotlion,Bruno Gaujal,Jean Mairesse,Gulgun Alpan,Alessandro Giua, Mohsen A Jafari,Jeanyves Marion,Jeanyves Moyen,Claude Chaudet, Isabelle Guerin,Eric Thierry,Nicolas Navet,Paolo Castelpietra, Fabrice Jumel, Cedric Wilwert,Anis Koubâa, Liping Lu,Anatoli Manita, Francois Simonot,Yeqiong Song, Zhi Wang mag(2002)
AI 理解论文
溯源树
样例