Salsa

swMATH25430MaRDI QIDQ37169FDOQ37169

Author name not available (Why is that?)

Cited In (3)

• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Model-based construction and verification of critical systems using composition and partial refinement
• Title not available (Why is that?)

This page was built for software: Salsa