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

Previous								Next
Previous	681 LNCS Verification, model checking, and abstract interpretation; 5th international conference, VMCAI 2004 Venice, Italy January 2004: proceedings	681 LNCS Advances in cryptology - eurocrypt 2004: international conference on the theory and applications of cryptographic techniques, Interlaken, Switzerland, may 2-6, 2004.	681 LNCS Probabilistic and statistical methods in cryptology	681 LNCS Formal modeling and analysis of timed systems: first international workshop, formats 2003, marseille, france, september 6-7, 2003, reivised papers	681 LNCS Public Key Infrastructure: first European PKI workshop: research and applications, EuroPKI 2004 Samos Island, Greece, June 2004: proceedings	681 LNCS Automated Reasoning: second international joint conference, IJCAR 2004 Cork, Ireland, July 4-8, 2004: proceedings	681 LNCS Lectures on Concurrency and Petri Nets: advances in petri nets	Next

There are no comments on this title.

to post a comment.