dSL

MaRDI QIDQ12987swMATHFDO

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

Described by source

• Principles of Distributed Systems

Cited in

(2)

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

This page was built for software: dSL