Author-Alessandrocimatti on D3S https://d3s.mff.cuni.cz/tags/author-alessandrocimatti/ Recent content in Author-Alessandrocimatti on D3S Hugo en Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations https://d3s.mff.cuni.cz/publications/daniel_infinitestate_2016/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/daniel_infinitestate_2016/