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

Bibliographic Information

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.)

(Lecture notes in computer science, 3253)

Springer, c2004

Search this Book/Journal
Note

Includes bibliographical references and index

Related Books: 1-1 of 1
Details
  • NCID
    BA69396467
  • ISBN
    • 3540231676
  • LCCN
    2004112582
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin
  • Pages/Volumes
    x, 395 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top