| Type |  Book |
| ชื่อเรื่อง | Model checking software [electronic resource] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3,2004 : proceedings / Susanne Graf, Laurent Mounier, eds |
| ผู้แต่ง | International spin workshop (11th : 2004 : Barcelona, Spain) |
| ISBN | 9783540247326 |
| พิมพลักษณ์ | Berlin ; New York : Springer, c2004 |
| รูปเล่ม | 1 online resource (x, 307 p.) : ill |
| ลิงค์ | Connect to electronic resource |
| หัวเรื่อง | Computer software --Verification --Congresses [] |