Latella, D., Massink, M., & Vink, E. P. D. (2015). Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Logical Methods in Computer Science e.V.
Chicago Style (17th ed.) CitationLatella, Diego, Mieke Massink, and Erik P De Vink. Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Logical Methods in Computer Science e.V, 2015.
MLA (9th ed.) CitationLatella, Diego, et al. Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically. Logical Methods in Computer Science e.V, 2015.
Warning: These citations may not always be 100% accurate.