2016
Proving language inclusion and equivalence by coinduction
Publication
Publication
Information and Computation , Volume 246 p. 62- 76
Additional Metadata | |
---|---|
doi.org/10.1016/j.ic.2015.11.009 | |
Information and Computation | |
Organisation | Computer Security |
Rot, J., Bonsangue, M., & Rutten, J. (2016). Proving language inclusion and equivalence by coinduction. Information and Computation, 246, 62–76. doi:10.1016/j.ic.2015.11.009 |