Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Bounded Reachability for Temporal Logic over Constraint Systems
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
Unusual Fe-rich Framboids from Devonian Carbonate Mounds (Sahara Desert, Morocco) Investigated by HR-SEM and ToF-SIMS: Fossil Analogues of OAM-SRB Consortia?
No associations
LandOfFree
Marcello M. Bersani does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Marcello M. Bersani, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Marcello M. Bersani will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-313074