Verisim: Formal Analysis of Network Simulations
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky and Mahesh Viswanathan
IEEE Transactions on Software Engineering, volume 28, number 2, pages 129-145, February 2002.
Last updated on Thursday, June 26, 2014, 12:47 pm