Davor Obradovic, Oleg Sokolsky, and Mahesh Viswanathan. Verisim: Formal analysis of network simulations (0)

by Karthikeyan Bhargavan, Carl A Gunter, Moonjoo Kim, Insup Lee
Venue:IEEE Transactions on Software Engineering