학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

Symbolic techniques for formally verifying industrial systems

Document Type

Journal

Author

Campos, S; Clarke, EM; Minea, M

Source

SCIENCE OF COMPUTER PROGRAMMING; JUL 1997, 29 1-2, p79-p98, 20p.

Subject

Language

English

ISSN

01676423

Online Access

Full Text (ScienceDirect 종량제) Full Text (ScienceDirect O/A) Web of Science JCR 저널정보 Scopus Find it@PNU

이메일