Login / Signup

A methodology for verification and analysis of parallel and distributed systems requirements specifications.

Khalid LateefHany H. AmmarVinay MogulothuTooraj Nikzadeh
Published in: PDSE (1997)
Keyphrases