Combining approaches for the security of infinite state systems
Michael Rusinowitch,Olga Kouchnarenko, Emmanuelle Deschamps, Serge Burckel,Yannick Chevalier,Veronique Cortier,Silvio Ranise,Christophe Ringeissen,Mathieu Turuani,Fabrice Bouquet,Jeanfrancois Couchot,Frederic Dadeau,Alain Giorgetti,Pierrecyrille Heam,Abdessamad Imine,Laurent Vigneron, Thibaut Brocard,Najah Chridi,Romeo Courbis,Stephane Debricon, Heinrich Hoerdegen,Adrien De Kermadec,Vincent Pretre,Duckhanh Tran,Jerome Voinot,Eugen Zalinescu,Daniele Zucchelli,Stephanie Delaune, Mahat Khelfallat,Enrica Nicolini, Romain Pichon mag(2007)
AI 理解论文
溯源树
样例