Vitiello M, Finamore E, Falanga A, Raieta K, Cantisani M, Galdiero F, Pedone C, Galdiero M, Galdiero S * Fusion in Coq(417 visite) Lecture Notes In Computer Science (ISSN: 0302-9743, 0302-974335404636319783540463634, 0302-974335402975459783540297543), 2001; 2178LNCS: 583-596. Impact Factor:0.415 DettagliEsporta in BibTeXEsporta in EndNote
430 Records (406 escludendo Abstract e Conferenze). Impact factor totale: 1430.526 (1369.388 escludendo Abstract e Conferenze). Impact factor a 5 anni totale: 1425.35 (1361.394 escludendo Abstract e Conferenze).
Last modified by Ultima modifica di Marco Comerci on in data Sunday 12 July 2020, 13:15:02 443 views visite. Last view on Ultima visita in data Sunday 28 March 2021, 19:16:32