Gianfranco Ciardo PeopleFacultyProfessorChair of Faculty Search CommitteeArea of Expertise: Model Checking and VerificationProbabilistic ModelsPetri Nets
Andrew S Miner PeopleFacultyAssociate ProfessorArea of Expertise: Model Checking and VerificationPetri Nets