Search results for: E. Tronci
Fundamenta Informaticae > 2016 > Vol. 149, nr 1/2 > 101--132
Lecture Notes in Computer Science > Applied Formal Methods — FM-Trends 98 > Regular Papers > 228-242
Lecture Notes in Computer Science > KI 2009: Advances in Artificial Intelligence > Planning and Scheduling > 49-56
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Methods > 35-48
Behavioural Brain Research > 2015 > 292 > C > 300-304
European Psychiatry > 2015 > 30 > Supplement 1 > 980
Neuroscience > 2014 > 265 > Complete > 245-252
Fundamenta Informaticae > 2011 > Vol. 107, nr 2/3 > 111-137
Neuroscience > 2006 > 139 > 4 > 1163-1172
Amino Acids > 2006 > 31 > 4 > 359-363
Archives of Transport > 2005 > Vol. 17, iss.3-4 > 39-55
Reliability Engineering and System Safety > 2003 > 81 > 3 > 239-257