![](/img/cover-not-exists.png)
Verisim: formal analysis of network simulations
Bhargavan, K., Gunter, C.A., Moonjoo Kim, Insup Lee, Obradovic, D., Sokolsky, O., Viswanathan, M.Volume:
28
Year:
2002
Language:
english
DOI:
10.1109/32.988495
File:
PDF, 463 KB
english, 2002