Wyniki wyszukiwania dla: Patrick Maier
Journal of Parallel and Distributed Computing > 2018 > 113 > C > 92-114
Electronic Notes in Theoretical Computer Science > 2016 > 330 > C > 5-25
Concurrency and Computation: Practice and Experience > 28 > 13 > 3606 - 3636
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 245-259
Lecture Notes in Computer Science > Automata, Languages and Programming > Reasoning and Verification > 821-834
Lecture Notes in Computer Science > Computer Science Logic > Verification and Model Checking > 397-412
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 343-357
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 52-71
Strahlentherapie und Onkologie > 2014 > 190 > 8 > 745-752
Journal of Neuro-Oncology > 2013 > 115 > 3 > 323-331
Journal of Hepatology > 2011 > 55 > 2 > 369-378