SCELlight

swMATH9887MaRDI QIDQ21866FDOQ21866

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-54848-2_5

Cited In (9)

• Klava
• MetaKlaim
• Pirlo
• SCEL
• Helena
• Model-Checking Helena Ensembles with Spin
• Programming and verifying component ensembles
• Programming autonomic systems with multiple constraint stores
• A formal approach to the engineering of domain-specific distributed systems

This page was built for software: SCELlight