Sciweavers

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