Analyzing Gene Relationships for Down Syndrome with Labeled Transitions Graphs (2010)

by N Rungta, H Carroll, E Mercer, R Roper, M Clement, Q Snell
Venue:in Proceedings of Formal Methods in Computer Aided Design (FMCAD), 2007