Sciweavers

19700 search results - page 193 / 3940
» DNA-Based Computation Times
Sort
View
129
Voted
CONCUR
1997
Springer
15 years 9 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan