Skip to content

Sang Taek Kim

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

1999–1999

Best venue rank

C

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
1999ISADSApplying Model Checking to Concurrent Object-Oriented Software.Seung Mo Cho, Doo-Hwan Bae, Sung Deok Cha, Young Gon Kim, Byung Kyu Yoo, Sang Taek Kim