View of Compilation-semantic verification of time-parameterized multi-parallel programs for information management systems

Return to Article Details Compilation-semantic verification of time-parameterized multi-parallel programs for information management systems Download Download PDF