You are not logged in |
Back to the list of the institutes
Publications
Conference: 24th EACSL Annual Conference on Computer Science Logic
Number of publications: 12015
- Sławomir Lasota , Lorenzo Clemente, Reachability analysis of first-order definable pushdown systems, 24th EACSL Annual Conference on Computer Science Logic, Berlin, Germany, 7 September 2015 - 10 September 2015. See in PBN
