DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Conference Papers(학술회의논문)

Verisim: Formal Analysis of Network SimulationsVerisim: 네트워크 시뮬레이션을 위한 정형검사기법

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 360
  • Download : 0
Export
Bhargavan, Karthikeyan / Gunter, Carl A. / Kim, Moonzooresearcher / Lee, Insup / Obradovic, Davor
Publisher
ACM
Issue Date
2000-08-01
Language
ENG
Citation

International Symposium on Software Testing and Analysis, pp.2 - 13

URI
http://hdl.handle.net/10203/125266
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

Display Full Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0