MaRDI QIDQ25240swMATHFDO
Official website http://link.springer.com/chapter/10.1007/978-3-642-28872-2_4
This page was built for software: SynchAADL2Maude