MaRDI QIDQ26975swMATHFDO
Official website http://link.springer.com/chapter/10.1007%2F978-3-319-29473-5_5
This page was built for software: Petri-PDL