Sciweavers

24132 search results - page 94 / 4827
» and 2009
Sort
View
BIRTHDAY
2009
Springer
16 years 1 months ago
Social Modeling and i*
Eric S. K. Yu
BIRTHDAY
2009
Springer
16 years 1 months ago
A Higher-Order Graph Calculus for Autonomic Computing
Oana Andrei, Hélène Kirchner
BIRTHDAY
2009
Springer
16 years 1 months ago
A Complete, Co-inductive Syntactic Theory of Sequential Control and State
Kristian Støvring, Søren B. Lassen
CADE
2009
Springer
16 years 1 months ago
A Refined Resolution Calculus for CTL
Lan Zhang, Ullrich Hustadt, Clare Dixon