Towards a DML Optimized Synthesis

Bibliographic Details
Main Authors: Levi, Itamar, Fish, Alexander
Format: Book Part
Language:unknown
Published: Springer International Publishing 2020
Subjects:
DML
Online Access:http://dx.doi.org/10.1007/978-3-030-40786-5_8
http://link.springer.com/content/pdf/10.1007/978-3-030-40786-5_8
id crspringernat:10.1007/978-3-030-40786-5_8
record_format openpolar
spelling crspringernat:10.1007/978-3-030-40786-5_8 2024-03-10T08:34:24+00:00 Towards a DML Optimized Synthesis Levi, Itamar Fish, Alexander 2020 http://dx.doi.org/10.1007/978-3-030-40786-5_8 http://link.springer.com/content/pdf/10.1007/978-3-030-40786-5_8 unknown Springer International Publishing http://www.springer.com/tdm http://www.springer.com/tdm Dual Mode Logic page 143-155 ISBN 9783030407858 9783030407865 book-chapter 2020 crspringernat https://doi.org/10.1007/978-3-030-40786-5_8 2024-02-13T23:03:31Z Book Part DML Springer Nature 143 155 Cham
institution Open Polar
collection Springer Nature
op_collection_id crspringernat
language unknown
format Book Part
author Levi, Itamar
Fish, Alexander
spellingShingle Levi, Itamar
Fish, Alexander
Towards a DML Optimized Synthesis
author_facet Levi, Itamar
Fish, Alexander
author_sort Levi, Itamar
title Towards a DML Optimized Synthesis
title_short Towards a DML Optimized Synthesis
title_full Towards a DML Optimized Synthesis
title_fullStr Towards a DML Optimized Synthesis
title_full_unstemmed Towards a DML Optimized Synthesis
title_sort towards a dml optimized synthesis
publisher Springer International Publishing
publishDate 2020
url http://dx.doi.org/10.1007/978-3-030-40786-5_8
http://link.springer.com/content/pdf/10.1007/978-3-030-40786-5_8
genre DML
genre_facet DML
op_source Dual Mode Logic
page 143-155
ISBN 9783030407858 9783030407865
op_rights http://www.springer.com/tdm
http://www.springer.com/tdm
op_doi https://doi.org/10.1007/978-3-030-40786-5_8
container_start_page 143
op_container_end_page 155
op_publisher_place Cham
_version_ 1793130595985915904