Applying Model Checking to Concurrent Object-Oriented Software

Publisher
IEEE
Issue Date
1999-03
Language
ENG
Citation

Fourth International Symposium on AUtonomous Decentralized Systems, pp.380 - 383

URI
http://hdl.handle.net/10203/15973
Appears in Collection
CS-Conference Papers(학술회의논문)
Files in This Item
Applying Model Checking to Concurrent Object-Oriented Software.pdf(150 kB)Download
  • Hit : 380
  • Download : 369
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0