Publication services
→
TOBIAS-portale
→
Dokumente von Tagungen, Kongressen, Workshops und Projekten
→
Browsing Dokumente von Tagungen, Kongressen, Workshops und Projekten by Author

Browsing Dokumente von Tagungen, Kongressen, Workshops und Projekten by Author "Le, Hoang M."

Now showing items 1-1 of 1

Towards Automated Refinement of TLM Properties to RTL

Herdt, Vladimir; Le, Hoang M.; Grosse, Daniel; Drechsler, Rolf (2018-03-13); ConferencePaper

Now showing items 1-1 of 1

Browse

All of DSpace
This Community

My Account

Login