MODEL CHECKING SOFTWARE: 12TH INTERNATIONAL SPIN WORKSHOP, SAN FRANCISCO, CA, USA, AUGUST 22-24, 2005, PROCEEDINGS
SPRINGER
₹ 6,462.00
₹ 7,628.91
✻