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
| Erakunde egilea: | |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Berlin
Springer-Verlag
c1994.
|
| Saila: | Lecture notes in computer science ; 863
|
| Gaiak: |