External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Karthikeyan Bhargavan

This author has not been identified. Look up 'Karthikeyan Bhargavan' in Google

Carl A. Gunter

This author has not been identified. Look up 'Carl A. Gunter' in Google

Moonjoo Kim

This author has not been identified. Look up 'Moonjoo Kim' in Google

Insup Lee

This author has not been identified. Look up 'Insup Lee' in Google

Davor Obradovic

This author has not been identified. Look up 'Davor Obradovic' in Google

Oleg Sokolsky

This author has not been identified. Look up 'Oleg Sokolsky' in Google

Mahesh Viswanathan

This author has not been identified. Look up 'Mahesh Viswanathan' in Google
runs on