Proving Language Inclusion and Equivalence by Coinduction

Author(s):: Rot, J.; Bonsangue, M.M. (0000-0003-3746-3618); Rutten, J.

Published: 2016
Publication type: Article / Letter to editor

Date issued: 2016
Language: English
Is part of
hdl: 1887/3199592
doi: 10.1016/j.ic.2015.11.009