SPIN: SPIN workshop on Model Checking of Software  [e-journal] 
 / 
 .-  Association for Computing Machinery, 
<br><U>Copy Details:</u><br> Acc. No.: <b>EJK7411</b>, Full Call No.: ,   Item type:  Electronic Journals , Location: , <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>