|
Titolo |
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 / H. Langmaack, W.-P. de Roever, J. Vytopil (eds.) |
|