Sciweavers

24132 search results - page 44 / 4827
» and 2009
Sort
View
SFM
2009
Springer
114views Formal Methods» more  SFM 2009»
15 years 10 months ago
Calculi for Service-Oriented Computing
Roberto Bruni
TARK
2009
Springer
15 years 10 months ago
BMS revisited
Guillaume Aucher