A new abstraction framework for affine transformers

From MaRDI portal
Publication:2322316

DOI10.1007/s10703-018-0325-zzbMath1425.68084OpenAlexW2896626142WikidataQ129004180 ScholiaQ129004180MaRDI QIDQ2322316

Tushar Sharma, Thomas W. Reps

Publication date: 4 September 2019

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: http://digital.library.wisc.edu/1793/76483




Related Items (2)


Uses Software


Cites Work


This page was built for publication: A new abstraction framework for affine transformers