Smart abstraction based on iterative cover and non-uniform cells

From MaRDI portal
Publication:6524536

zbMatharXiv:2403.02190MaRDI QIDQ6524536

Unnamed Author, Raphaël M. Jungers, Julien Calbert

Publication date: 1 January 1










This page was built for publication: Smart abstraction based on iterative cover and non-uniform cells