SCELlight

swMATH9887MaRDI QIDQ21866FDOQ21866

Author name not available (Why is that?)

Cited In (4)

• Programming and Verifying Component Ensembles
• Programming Autonomic Systems with Multiple Constraint Stores
• Model-Checking Helena Ensembles with Spin
• A formal approach to the engineering of domain-specific distributed systems

This page was built for software: SCELlight