Search Results

1

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 /

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

Berlin ; New York : Springer, 2004

Conference Proceeding Book

2

Interactive multimedia and next generation networks : Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 2004 : proceedings /

Interactive multimedia and next generation networks : Second International Workshop on Multimedia Interactive Protocols and Systems, MIPS 2004, Grenoble, France, November 16-19, 20...

Berlin : Springer-Verlag, 2004

Conference Proceeding Book

3

Principles of distributed systems : 8th international conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers /

Principles of distributed systems : 8th international conference, OPODIS 2004, Grenoble, France, December 15-17, 2004 : revised selected papers /

Berlin ; New York : Springer, 2005

Conference Proceeding Book