Marta Kwaitkowska Talk - Application of probabilistic model checking to DNA computation Share to: Share on Facebook Tweet Share on LinkedIn DateMarch 26, 2012 2:00 PM –4:30 PMLocationX WingTagsacademic