【Updated on Oct. 28, 2024】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
Impact of the Release of the New "NDL Search" on CiNii Services
Trial version of CiNii Research Automatic Translation feature is available on CiNii Labs

Software model Checking

1 Citations

JHALA R.

Journal

ACM Computing Surveys

ACM Computing Surveys 41 21:1-21:54, 2009

Citations (1)*help

See more

Details 詳細情報について

CRID

1570572701524106752
NII Article ID

80020740425
Data Source
- CiNii Articles

Export

Report a problem

Back to top