Sciweavers

27354 search results - page 192 / 5471
» Distributed And Parallel Computing
Sort
View
72
Voted
CONCUR
1997
Springer
15 years 2 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan