Formal techniques in real-time and fault-tolerant systems third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lubeck, Germany, September 19-23, 1994 : proceedings
| Autor Corporativo: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Berlin
Springer-Verlag
c1994.
|
| Series: | Lecture notes in computer science ; 863
|
| Subjects: |