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:32 - 11 self