Publication Dartmouth-Hitchcock Medical Center: Spine Care Robert S. Huckman, Robert S. Huckman, Michael E. Porter, Rachel Gordon, Natalie Kindred, James Weinstein March 2009 March 2009
Publication Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications Hillel Kugler Tools and Algorithms for the Construction and Analysis of Systems (TACAS’09) | March 2009 Project
Research
Research
