Search Results

Documents authored by Winkelmann, Klaus


Document
Synchronous Languages (Dagstuhl Seminar 01491)

Authors: Willem-Paul de Roever, Nicolas Halbwachs, Gérard Berry, and Klaus Winkelmann

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Willem-Paul de Roever, Nicolas Halbwachs, Gérard Berry, and Klaus Winkelmann. Synchronous Languages (Dagstuhl Seminar 01491). Dagstuhl Seminar Report 328, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2002)


Copy BibTex To Clipboard

@TechReport{deroever_et_al:DagSemRep.328,
  author =	{de Roever, Willem-Paul and Halbwachs, Nicolas and Berry, G\'{e}rard and Winkelmann, Klaus},
  title =	{{Synchronous Languages (Dagstuhl Seminar 01491)}},
  pages =	{1--30},
  ISSN =	{1619-0203},
  year =	{2002},
  type = 	{Dagstuhl Seminar Report},
  number =	{328},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.328},
  URN =		{urn:nbn:de:0030-drops-152119},
  doi =		{10.4230/DagSemRep.328},
}
Document
Synchronous Languages (Dagstuhl Seminar 9650)

Authors: Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Willem-Paul de Roever, Nicolas Halbwachs, and Klaus Winkelmann. Synchronous Languages (Dagstuhl Seminar 9650). Dagstuhl Seminar Report 162, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1997)


Copy BibTex To Clipboard

@TechReport{deroever_et_al:DagSemRep.162,
  author =	{de Roever, Willem-Paul and Halbwachs, Nicolas and Winkelmann, Klaus},
  title =	{{Synchronous Languages (Dagstuhl Seminar 9650)}},
  pages =	{1--25},
  ISSN =	{1619-0203},
  year =	{1997},
  type = 	{Dagstuhl Seminar Report},
  number =	{162},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.162},
  URN =		{urn:nbn:de:0030-drops-150490},
  doi =		{10.4230/DagSemRep.162},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail