<
From version < 42.1 >
edited by Alexander Schulz-Rosengarten
on 2017/10/23 12:48
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
... ... @@ -293,10 +293,7 @@
293 293  * IEEE-Xplore: [[http:~~/~~/ieeexplore.ieee.org/Xplore/dynhome.jsp>>url:http://ieeexplore.ieee.org/Xplore/dynhome.jsp||shape="rect" class="external-link"]]
294 294  ** Kostenloser Download nur aus Rechnern im Uninetz möglich
295 295  * ACM Digital Library: [[http:~~/~~/portal.acm.org/dl.cfm>>url:http://portal.acm.org/dl.cfm||shape="rect" class="external-link"]]
296 -* Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]](((
297 -(% class="bodytext" style="margin-left: 30.0px;" %)
298 -**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.
299 -)))
296 +* Universitätsbibliothek Digitale Medien: [[http:~~/~~/www.uni-kiel.de/ub/emedien/index.html>>url:http://www.uni-kiel.de/ub/emedien/index.html||shape="rect"]]
300 300  
301 301  (% style="display: none;" %)
302 302  (((
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -33260011
1 +33260014
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260011/WS17/18 (Synchrone Sprachen)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SEM/pages/33260014/WS17/18 (Synchrone Sprachen)