Marco Roveri - Top Italian Scientist in Computer Sciences
Model Checking Formal Methods automated planning planning scheduling requirements engineering temporal logic sat


Rank: 184
H-Index: 44
Citations: 11143
Nation: Italy
Area: computer sciences
Macroarea: Computer Sciences
Italian Institution(s): Università degli Studi di Trento
Rank: 184
H-Index: 44
Citations: 11143
Nation: Italy
Area: computer sciences
Macroarea: Computer Sciences
Italian Institution(s): Università degli Studi di Trento