Digital Library[ Search Result ]

Search : "[ author: Park Yong Bum ]" (1)
A Study on Implementation of Model Checking Program for Verifying LTS Specification
Park Yong Bum  Kim Tae Kyun  Kim Sung Un
Vol. 5, No. 4, pp. 995-1004, Apr. 1998
10.3745/KIPSTE.1998.5.4.995

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals