Mike Hinchey. Formally Specifying Families of Space Exploration Missions. In Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, Steve Livengood, editors, Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools). pages 73-74, Lancaster University, 2010. [doi]
@inproceedings{Hinchey10, title = {Formally Specifying Families of Space Exploration Missions}, author = {Mike Hinchey}, year = {2010}, url = {http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf}, researchr = {https://researchr.org/publication/Hinchey10}, cites = {0}, citedby = {0}, pages = {73-74}, booktitle = {Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)}, editor = {Goetz Botterweck and Stan Jarzabek and Tomoji Kishi and Jaejoon Lee and Steve Livengood}, publisher = {Lancaster University}, isbn = {978-1-86220-274-0}, }