27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Methods > 305-319
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Methods > 320-331
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Methods > 332-345
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Formal Methods > 346-359