Events

31th International Conference on Computer Aided Verification

New York 13.-18.7.2019

Selected publications

2019ČEŠKA Milan and 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, pp. 1-19.

Your IPv4 address: 54.86.132.30
Switch to https