Region-Based Model Abstraction

tr-2003-47.ps
PostScript file

Details

TypeTechReport
NumberMSR-TR-2003-47
Pages20
InstitutionMicrosoft Research
> Publications > Region-Based Model Abstraction