Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana P TACAS: Tools and Algorithms for the Construction and Analysis of Systems Springer (2016)
Daca, Przemyslaw; Henzinger, Thomas A; Křetínský, Jan; Petrov, Tatjana CONCUR: Concurrency Theory Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2016)
Institute of Science and Technology Austria | Library Am Campus 1, A-3400 Klosterneuburg | Phone: +43 2243 9000 Powered by BibApp