IMSc Library catalog › Details for: Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers

Normal view MARC view ISBD view

Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers

TextSeries: Lecture notes in computer science ; 02791Publication details: New York ; Springer-Verlag ; 2004Edition: 1st edISBN: 3540216715

Item type:

BOOKS

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	681 LNCS (Browse shelf (Opens below))		Available		51223

There are no comments on this title.

to post a comment.