Phased-Mission System Analysis Using Boolean Algebraic Methods.

Arun K. Somani, Kishor S. Trivedi

Browse the full SIGMETRICS paper archive.