2024년 '근로자의 날' 도서관 개관시간 변경 안내

부산대학교 도서관

교내접속OFF
영문 바로가기
Home
통합검색
학술논문

학술논문

replay검색결과 돌아가기
search검색화면
A saturation method for the modal μ-calculus over pushdown systems
Document Type
Article
Author
Hague, M.; Ong, C.-H.L.
Source
In Information and Computation 2011 209(5):799-821
Subject
Language
ISSN
0890-5401

Online Access

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

메일 발송

이메일

폴더 추가