Sciweavers

79 search results - page 5 / 16
» birthday 2005
Sort
View
47
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
SAT-Based Cooperative Planning: A Proposal
Marco Benedetti, Luigia Carlucci Aiello
49
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
Specifying, Programming and Verifying with Equational Logic
Joseph A. Goguen, Kai Lin
88
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
Separation - Past, Present, and Future
Ian M. Hodkinson, Mark Reynolds
BIRTHDAY
2005
Springer
15 years 2 months ago
Modelling Evolvable Systems: A Temporal Logic View
Howard Barringer, David E. Rydeheard
56
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
Formal Approaches to Teamwork
John Grant, Sarit Kraus, Donald Perlis