Sciweavers

28821 search results - page 523 / 5765
» Distributed and parallel systems
Sort
View
CONCUR
1997
Springer
15 years 11 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan