"Experimental (raw) Data of Statistical Comparison Between Formal and ..."

Chris Karanikolas, Grigoris Dimitroulakos, Konstantinos Masselos (2020)

Details and statistics

DOI: 10.21227/8863-MT73

access: closed

type: Data or Artifact

metadata version: 2023-03-15

a service of  Schloss Dagstuhl - Leibniz Center for Informatics