FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS: 6TH INTERNATIONAL CONFERENCE, FORMATS 2008, SAINT MALO, FRANCE, SEPTEMBER 15-17, 2008 PROCEEDINGS

FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS: 6TH INTERNATIONAL CONFERENCE, FORMATS 2008, SAINT MALO, FRANCE, SEPTEMBER 15-17, 2008 PROCEEDINGS
SPRINGER
-
978-3-540-85777-8
₹ 6,462.00 ₹ 7,628.91