Sciweavers

41650 search results - page 219 / 8330
» Distribution of
Sort
View
143
Voted
CONCUR
1997
Springer
15 years 10 months ago
A Product Version of Dynamic Linear Time Temporal Logic
Jesper G. Henriksen, P. S. Thiagarajan
147
Voted
COORDINATION
1997
Springer
15 years 10 months ago
Modeling Railway Control Systems Using Graph Grammars: A Case Study
A. A. Holzbacher, M. Périn, Mario Südh...
105
Voted
ICPP
1996
IEEE
15 years 10 months ago
Portable Parallel Programming in HPC++
Peter H. Beckman, Dennis Gannon, Elizabeth Johnson