7 results on '"Petr Müller"'
Search Results
2. Predator Hunting Party (Competition Contribution).
3. Hammock: a hidden Markov model-based peptide clustering algorithm to identify protein-interaction consensus motifs in large datasets.
4. Dfuzzer: A D-Bus Service Fuzzing Tool.
5. Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).
6. CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution).
7. Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution).
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.