dSL

swMATH222MaRDI QIDQ12987FDOQ12987

Author name not available (Why is that?)

Described by source

• Principles of Distributed Systems

Cited In (2)

• Experimental and Efficient Algorithms
• Testing Distributed Systems Through Symbolic Model Checking

This page was built for software: dSL