Verisim: Formal Analysis of Network Simulations
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky and Mahesh Viswanathan
ACM International Symposium on Software Testing and Analysis (ISSTA ’00), pages 2-13, Portland, OR, August 2000.
Last updated on Monday, July 25, 2011, 4:33 pm