CITATION STYLE
Katoen, J.-P. (2005). 22 Labelled Transition Systems (pp. 615–616). https://doi.org/10.1007/11498490_29
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley