Gauss

swMATH8835MaRDI QIDQ20834FDOQ20834

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/S1571066106000624

Cited In (7)

• Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API
• ISP
• YASM
• SIMGRID
• MoonWalker
• SimGridMC
• System-level state equality detection for the formal dynamic verification of legacy distributed applications

This page was built for software: Gauss