MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Verisim Formal Analysis of Network Simulations." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Verisim: Formal Analysis of Network Simulations  
  • by Karthikeyan Bhargavan Carl, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan — 2000 — IEEE Transactions on Software Engineering
  • …Verisim: Formal Analysis of Network Simulations Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim…
  • Add To MetaCart
  • Verisim: Formal analysis of network simulations  
  • by Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan — 2002 — IEEE Transactions on Software Engineering
  • …Verisim: Formal Analysis of Network Simulations Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim…
  • Cited by 21 (7 self) – Add To MetaCart
  • Cv  
  • by Karthikeyan Bhargavan, Advisor Dr. Carl Gunter, Mentor Elsa Gunter, Summer Intern, Summer Intern
  • …: Formal analysis of network simulations, Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB