1 Carnegie Mellon UniversitySPINFlavio Lerda SPIN An explicit state model checker.
The rationale for concurrent chemotherapy and radiotherapy in small cell lung cancer