albertson estrada index

Model Checking and Refinement of Temporal Logic in SPIN Marı́a del Mar Gallardo, Jesús Martı́nez, Pedro Merino, Ernesto Pimentel Computer Science Department, University of Malaga 29071 Malaga , SPAIN gallardo,jmcruz, pedro, ernesto @lcc.uma.es

متن کامل

Vulnerability of Pipelines Subjected to Permanent Deformation Due to Geotechnical Co-seismic Effects

2013

Sauro Pierucci Jiří J. Klemeš Giovanni Lanzano Ernesto Salzano Filippo Santucci de Magistris Giovanni Fabbrocino

Vulnerability of Pipelines Subjected to Permanent Deformation Due to Geotechnical Co-seismic Effects Giovanni Lanzano, Ernesto Salzano, Filippo Santucci de Magistris, Giovanni Fabbrocino University of Molise, Di.B.T. Department, StreGa Laboratory, Via Duca degli Abruzzi s.n.c.,Termoli (CB), Italy Istituto di Ricerca sulla Combustione, Consiglio Nazionale delle Richerche, Via Diocleziano 328, Na...

متن کامل

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید