BisimDist
From MaRDI portal
swMATH33110MaRDI QIDQ44819FDOQ44819
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/978-3-642-40196-1_23
Cited In (2)
This page was built for software: BisimDist