Research Catalog

Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings

Title
Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings / Yassine Lakhnech, Sergio Yovine (Eds.).
Author
FORMATS (Conference) (2004 : Grenoble, France)
Publication
Berlin ; New York : Springer, [2004], ©2004.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.9.C65 F67 2004gOff-site

Details

Additional Authors
  • Lakhnech, Y. (Yassine)
  • Yovine, Sergio.
  • FTRTFT 2004 (2004 : Grenoble, France)
Description
x, 395 pages : illustrations; 24 cm.
Series Statement
Lecture notes in computer science, 0302-9743 ; 3253
Uniform Title
Lecture notes in computer science ; 3253.
Subjects
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
3540231676 (pbk.)
LCCN
2004112582
OCLC
  • ocm56616915
  • SCSB-5077216
Owning Institutions
Columbia University Libraries