Ing.

Petr Janků

Ph.D.

FIT, RG VERIFIT – Member

ijanku@fit.vut.cz

Send BUT message

Ing. Petr Janků, Ph.D.

Applied results

  • 2019

    HOLÍKOVÁ, L.; JANKŮ, P.: xx; PICoSo: An SMT Solver for String Constraints. xx. URL: https://www.fit.vut.cz/research/product/620/. (Software)
    Detail

  • 2018

    HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P.: xx; Sloth: An SMT Solver for String Constraints. xx. URL: https://www.fit.vut.cz/research/product/563/. (Software)
    Detail

  • 2017

    FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.: xx; Gaston - Symbolic WS1S Solver. xx. URL: https://www.fit.vut.cz/research/product/511/. (Software)
    Detail

*) Citations are generated once every 24 hours.