D: Quantitative Verification Techniques for Biological Processes.Algorithmic (0)

by M Kwiatkowska, G Norman, Parker
Venue:Bioprocesses, Springer: Condon A, Harel D, Kok J, Salomaa A, Winfree E