Paper Info
Title
ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods.
Year
DOI
Venue
2020
10.1007/978-3-030-48077-6_19
ABZ
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
David Geleßus100.68
Michael Leuschel22156135.89