Události

31th International Conference on Computer Aided Verification

New York 13.-18.7.2019

Vybrané publikace

2019ČEŠKA Milan a KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In: Proceedings of 31th International Conference on Computer Aided Verification (CAV'19). To be published in 2019. New York: Springer International Publishing, 2019, s. 1-19.

Vaše IPv4 adresa: 54.86.132.30