Timed pushdown automata and branching vector addition systems

Lorenzo Clemente, Slawomir Lasota, Ranko Lazic, Filip Mazowiecki
2017 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)  
doi:10.1109/lics.2017.8005083 dblp:conf/lics/ClementeLLM17 fatcat:mvqnszkv6vh7bcgmx6xdqayepy