JAHUEL

swMATH10084MaRDI QIDQ22053FDOQ22053

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/11576280_15

Cited In (2)

• Metropolis
• Formal approach to derivation of concurrent implementations in software product lines

This page was built for software: JAHUEL