Applications of an expressive statistical model checking approach to the analysis of genetic circuits

Published in Theoretical Computer Science, 2015