【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

SMT-Based Automatic Proof of ASM Model Refinement

DOI Web Site 1 Citations

Journal

Lecture Notes in Computer Science

Lecture Notes in Computer Science 253-269, 2016

Springer International Publishing

Citations (1)*help

See more

Details 詳細情報について

CRID

1363670321118918784
DOI

10.1007/978-3-319-41591-8_17
ISSN

16113349

03029743
Web Site

http://link.springer.com/content/pdf/10.1007/978-3-319-41591-8_17
Data Source
- Crossref

Export

Report a problem

Back to top