Applying Model Checking to Concurrent Object-Oriented Software

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 840
  • Download : 592
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-Or...(150 kB)Download

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0