Automatic addition of conflicting properties

DOI10.1007/978-3-319-49259-9_25zbMath1425.68035OpenAlexW2547734790MaRDI QIDQ2007913

Sandeep S. Kulkarni, Mohammad Roohitavaf

Publication date: 22 November 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-49259-9_25

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

This page was built for publication: Automatic addition of conflicting properties