Powrót do listy instytutów
Publikacje
Konferencja: 30th Annual ACM/IEEE Symposium on Logic in Computer Science
Liczba publikacji: 12015
- Sławomir Lasota , Lorenzo Clemente, Timed pushdown automata revisited, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan, 6 lipca 2015 - 10 lipca 2015. Zobacz w PBN