Skip to content

Model Checking Distributd Objects Design.

Nima Kaveh

VenueA*ICSE
Year2001
ProceedingsICSE

Browse the full ICSE paper archive.