| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 2 |      | Roby Joehanes, James C. Nelson: QGene 4.0, an extensible Java QTL-analysis platform. Bioinformatics 24(23): 2788-2789 (2008) |
| 2001 | ||
| 1 | | Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser: Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187 |
| 1 | Matthew B. Dwyer | [1] |
| 2 | John Hatcliff | [1] |
| 3 | Shawn Laubach | [1] |
| 4 | James C. Nelson | [2] |
| 5 | Corina S. Pasareanu | [1] |
| 6 | Robby | [1] |
| 7 | Willem Visser | [1] |
| 8 | Hongjun Zheng | [1] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page