Inproceedings,

Dependability Auditing with Model Checking.

, , and .
AMCIS, page 276. Association for Information Systems, (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews