Verisim: Formal Analysis of Network Simulations

Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan. Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng., 28(2):129-145, 2002. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.