Improving Encoding Efficiency for Bounded Model Checking
| File | Size | Format | |
|---|---|---|---|
| 72399_1.pdf | 269Kb | Adobe PDF | View |
| Title | Improving Encoding Efficiency for Bounded Model Checking |
|---|---|
| Author | Yang, Jinji; Su, Kaile; Chen, Qingliang |
| Publication Title | TASE 2008 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering |
| Editor | Jifeng He, Jian Lv, Jim Davies and Xuandong Li |
| Year Published | 2008 |
| Publisher | IEEE |
| Peer Reviewed | Yes |
| Published | Yes |
| Alternative URI | http://dx.doi.org/10.1109/TASE.2008.23 |
| Copyright Statement | Copyright 2008 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
| Research Centre | Institute for Integrated and Intelligent Systems |
| Faculty | Faculty of Science, Environment, Engineering and Technology |
| Publication Type | Conference Publications (Full Written Paper - Refereed) |
Please use this identifier to cite this record: http://hdl.handle.net/10072/39766
Griffith University copyright notice
Copyright in individual works within the repository belongs to their authors or publishers. You may make a print or digital copy of a work for your personal non-commercial use. All other rights are reserved, except for fair dealings or other user rights granted by the copyright laws of your country.
Footer information
Back to top