| |
| 2008 | ||
|---|---|---|
| 1 | EE | Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha, Axel Legay: Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway. CMSB 2008: 231-250 |
| 1 | Edmund M. Clarke | [1] |
| 2 | James R. Faeder | [1] |
| 3 | Sumit Kumar Jha | [1] |
| 4 | Christopher James Langmead | [1] |
| 5 | Axel Legay | [1] |