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

학술논문

replay검색결과 돌아가기

search검색화면

Partitioned PLTL model-checking for refined transition systems

Document Type

Article

Author

Julliand, J.; Masson, P.-A.; Oudot, E.

Source

In Information and Computation 2009 207(6):681-698

Subject

Language

ISSN

0890-5401

Online Access

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

이메일