Back to the list of the institutes
Publications
Conference: 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Number of publications: 12015
- Sławomir Lasota , Lorenzo Clemente, Timed pushdown automata revisited, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan, 6 July 2015 - 10 July 2015. See in PBN