Verified Analysis of Random Binary Tree Structures


BibTeX

@inproceedings{MEMHTN-JAR20,
author = "Manuel Eberl and Max W. Haslbeck and Tobias Nipkow",
title = "Verified Analysis of Random Binary Tree Structures",
series = "J Autom Reasoning",
volume = 64,
pages = "879--910",
year = 2020,
doi = "10.1007/s10817-020-09545-0"
}


Nach oben scrollen