Search results
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 591-620
Lecture Notes in Computer Science > CONCUR '92 > 162-175
Lecture Notes in Computer Science > Future Tendencies in Computer Science, Control and Applied Mathematics > 129-153