dSL

swMATH222MaRDI QIDQ12987FDOQ12987

Author name not available (Why is that?)

Official website: http://www.ulb.ac.be//di/ssd/bdewacht/dsl/

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