File Download
There are no files associated with this item.
SFX Link
- Find it @ UNIST can give you direct access to the published full text of this article. (UNISTARs only)
- Yi, Jooyong
- Programming Languages and Software Engineering Lab.
Views & Downloads
Detailed Information
Cited time in 
Cited time in 
Cited time in
Metadata Downloads
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.citation.conferencePlace | KO | - |
| dc.citation.endPage | 468 | - |
| dc.citation.startPage | 466 | - |
| dc.citation.title | KIISE (Korea Institute of Information Scientists and Engineers) 2011 Conference | - |
| dc.contributor.author | Bang, Ki-Seok | - |
| dc.contributor.author | Yi, Jooyong | - |
| dc.contributor.author | Choi, Jin-Young | - |
| dc.date.accessioned | 2023-12-20T06:36:21Z | - |
| dc.date.available | 2023-12-20T06:36:21Z | - |
| dc.date.created | 2019-03-04 | - |
| dc.date.issued | 2001-00 | - |
| dc.identifier.bibliographicCitation | KIISE (Korea Institute of Information Scientists and Engineers) 2011 Conference, pp.466 - 468 | - |
| dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/35859 | - |
| dc.language | 영어 | - |
| dc.publisher | Korea Institute of Information Scientists and Engineers | - |
| dc.title | Model Checking Object-Oriented Software Using Bandera Toolset | - |
| dc.type | Conference Paper | - |
| dc.date.conferenceDate | 2001 | - |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.