Fully-automated Synthesis of Power Management Controllers from UPF

dc.contributor.author	Peterson, Dustin
dc.contributor.author	Bringmann, Oliver
dc.date.accessioned	2020-05-25T13:52:12Z
dc.date.available	2020-05-25T13:52:12Z
dc.date.issued	2019-01
dc.identifier.uri	http://hdl.handle.net/10900/100907
dc.language.iso	en	de_DE
dc.relation.uri	https://dx.doi.org/10.1145/3287624.3287664	de_DE
dc.subject.ddc	004	de_DE
dc.title	Fully-automated Synthesis of Power Management Controllers from UPF	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	76-81	de_DE
utue.personen.roh	Peterson, Dustin
utue.personen.roh	Bringmann, Oliver
dcterms.isPartOf.ZSTitelID	Proceedings of the 24th Asia and South Pacific Design Automation Conference	de_DE