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:28 - 10 self