Summary

• Page properties (1 modified, 0 added, 0 removed)
• Objects (1 modified, 0 added, 0 removed)
  • Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

...	...	@@ -40,7 +40,7 @@
40	40	=== Bachelor Recommendations ===
41	41
42	42	(% style="margin-left: 30.0px;" %)
43		-(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]", LCTES 2015
	43	+(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102); color: rgb(51, 51, 51)" %)**[assigned]**(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %) A. Procter, W. Harrison, I. Graves, M. Becchi, G. Allwein, "[[Semantics Driven Hardware Design, Implementation, and Verification with ReWire>>url:https://dl.acm.org/citation.cfm?id=2754970||shape="rect"]]", LCTES 2015
44	44
45	45	(% style="margin-left: 30.0px;" %)
46	46	(% style="color: rgb(0, 0, 0); color: rgb(0, 51, 102)" %)Nicolas Harrand, Franck Fleurey, Brice Morin, and Knut Eilif Husa. 2016. [[ThingML: A language and code generation framework for heterogeneous targets>>url:https://dl.acm.org/citation.cfm?id=2976812||shape="rect"]]. In //Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems// (MODELS '16). ACM, New York, NY, USA, 125-135.

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-81789455
	1	+81789456

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/81789455/WS20/21 (Synchronous Languages)
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/81789456/WS20/21 (Synchronous Languages)