Verisim: Formal analysis of network simulations (2002)

by Karthikeyan Bhargavan , Carl A. Gunter , Moonjoo Kim , Insup Lee , Davor Obradovic , Oleg Sokolsky , Mahesh Viswanathan
Venue:IEEE Transactions on Software Engineering
Citations:44 - 14 self