Sciweavers

16541 search results - page 158 / 3309
» Ontologies and Software Engineering
Sort
View
137
Voted
KBSE
2005
IEEE
16 years 16 days ago
Compositional reasoning for port-based distributed systems
Alma L. Juarez Dominguez, Nancy A. Day