Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings


Bengt Jonsson, Joachim Parrow (eds.)
Bok Engelsk 1996

Detaljer

Bibliotek som har denne