Your session will expire automatically in 0 seconds.
28 results found. Sorted by relevance | date | title .
Record:
Title
Formal techniques in real-time and fault-tolerant systems : 4th international symposium, Uppsala, Sweden, September 9-13, 1996 : proceedings / Bengt Jonsson, Joachim Parrow, eds.