Skip to main content
English
中文
Log In
Log in
Log in with ORCID
NTU Single Sign On
Have you forgotten your password?
Home
College of Electrical Engineering and Computer Science / 電機資訊學院
Electronics Engineering / 電子工程學研究所
On Some Transformation Invariants under Retiming and Resynthesis
Details
On Some Transformation Invariants under Retiming and Resynthesis
Journal
Int'l Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05)
Pages
413-428
Date Issued
2005-04
Author(s)
JIE-HONG JIANG
DOI
10.1007/978-3-540-31980-1_27
URI
http://scholars.lib.ntu.edu.tw/handle/123456789/318063
SDGs
[SDGs]SDG9
Type
conference paper