Details for the publication KatoenSZ14.

Joost-Pieter Katoen (), Lei Song, Lijun Zhang: Probably safe or live. In Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science LICS, CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pages 55:1-55:10, 2014. DOI BIB