Fingerprint
Dive into the research topics of 'Verisim: Formal analysis of network simulations'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verisim: Formal analysis of network simulations
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan
Research output: Contribution to journal › Article › peer-review