Genaína Nunes Rodrigues, David S. Rosenblum, Jonas Wolf. Reliability Analysis of Concurrent Systems Using LTSA. In 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume. pages 63-64, IEEE Computer Society, 2007. [doi]
Abstract is missing.