Anitha Murugesan, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee. Exploring the twin peaks using probabilistic verification techniques. In Jane Cleland-Huang, Paris Avgeriou, Janet E. Burge, Xavier Franch, Matthias Galster, Mehdi Mirakhorli, Roshanak Roshandel, editors, Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014, Hyderabad, India, June 1, 2014. pages 18-23, ACM, 2014. [doi]
@inproceedings{MurugesanFHRWL14,
title = {Exploring the twin peaks using probabilistic verification techniques},
author = {Anitha Murugesan and Lu Feng and Mats Per Erik Heimdahl and Sanjai Rayadurgam and Michael W. Whalen and Insup Lee},
year = {2014},
doi = {10.1145/2593861.2593865},
url = {http://doi.acm.org/10.1145/2593861.2593865},
researchr = {https://researchr.org/publication/MurugesanFHRWL14},
cites = {0},
citedby = {0},
pages = {18-23},
booktitle = {Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, TwinPeaks 2014, Hyderabad, India, June 1, 2014},
editor = {Jane Cleland-Huang and Paris Avgeriou and Janet E. Burge and Xavier Franch and Matthias Galster and Mehdi Mirakhorli and Roshanak Roshandel},
publisher = {ACM},
isbn = {978-1-4503-2848-7},
}