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


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