An integration of model checking with automated proof checking

詳細情報 詳細情報について

• CRID

  1362544420684351488

• DOI

  10.1007/3-540-60045-0_42

• ISSN

  16113349

  03029743

• Web Site

  http://link.springer.com/content/pdf/10.1007/3-540-60045-0_42.pdf

• データソース種別

  • Crossref