Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 2002 : proceedings /
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9–12 September 2002. This sym- sium was the seventh in a series of FTRTFT symposia devoted to problems and solu...
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
2002
Berlin ; New York : c2002 Berlin ; New York : [2002] |
Series: | Lecture notes in computer science
2469 Lecture notes in computer science ; 2463 Lecture notes in computer science ; 2469 Lecture notes in computer science 2469 |
Subjects: |
Internet
University of Chicago
Call Number: |
QA76.54.F75 2002 |
---|
Harvard University
Call Number: |
QA75 .L4 vol. 2469 |
---|
Duke University
Call Number: |
001.64 L471, v. 2469 |
---|
Dartmouth College
Call Number: |
QA76.54 .F75 2002 |
---|
Columbia University
Call Number: |
QA76.54 .F75 2002 |
---|
University of Pennsylvania
Call Number: |
QA76.54 .F75 2002 |
---|
Brown University
Call Number: |
QA76.54 .F75 2002 |
---|