Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner
Automated requirements analysis for a molecular watchdog timer
ASE, 2014.
@inproceedings{ASE-2014-EllisHKLLLMM,
author = "Samuel J. Ellis and Eric R. Henderson and Titus H. Klinge and James I. Lathrop and Jack H. Lutz and Robyn R. Lutz and Divita Mathur and Andrew S. Miner",
booktitle = "{Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1145/2642937.2643007",
isbn = "978-1-4503-3013-8",
pages = "767--778",
publisher = "{ACM}",
title = "{Automated requirements analysis for a molecular watchdog timer}",
year = 2014,
}