"A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with ..."

Tomasz Brengos (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics