<
From version < 41.1 >
edited by Alexander Schulz-Rosengarten
on 2017/10/23 10:59
To version < 43.1 >
edited by Alexander Schulz-Rosengarten
on 2017/10/23 12:49
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -72,6 +72,9 @@
72 72  (% class="bodytext" style="margin-left: 30.0px;" %)
73 73  **Felix von der Heide:** Reinhard von Hanxleden and Timothy Bourke and Alain Girault. [[Real-Time Ticks for Synchronous Programming>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/fdl17.pdf||shape="rect"]]. In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017.
74 74  
75 +(% class="bodytext" style="margin-left: 30.0px;" %)
76 +Guillaume Baudart and Timothy Bourke and Marc Pouzet. [[Symbolic Simulation of Dataflow Synchronous Programs with Timers.>>url:https://www.di.ens.fr/~~pouzet/bib/fdl17.pdf||shape="rect"]] In (% class="cmti-10" %)Proc. Forum on(%%) (% class="cmti-10" %)Specification and Design Languages (FDL ’17)(%%), Verona, Italy, 2017.
77 +
75 75  === Master Empfehlung ===
76 76  
77 77  (% style="margin-left: 30.0px;" %)
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -33260010
1 +33260014
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260010/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260014/WS17/18 (Synchrone Sprachen)