Static vs. Dynamic Validation of BSP Conformance.

Stefan Prennschtz-Schtzenau, Nirmal Mukhi, Satoshi Hada, Naoto Sato, Fumiko Satoh, Naohiko Uramoto

Browse the full ICWS paper archive.