Search Results

Documents authored by Pnueli, Amir


Document
Applied Deductive Verification (Dagstuhl Seminar 03451)

Authors: David Basin, Harald Ganzinger, John R. Harrison, and Amir Pnueli

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


Abstract

Cite as

David Basin, Harald Ganzinger, John R. Harrison, and Amir Pnueli. Applied Deductive Verification (Dagstuhl Seminar 03451). Dagstuhl Seminar Report 401, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)


Copy BibTex To Clipboard

@TechReport{basin_et_al:DagSemRep.401,
  author =	{Basin, David and Ganzinger, Harald and Harrison, John R. and Pnueli, Amir},
  title =	{{Applied Deductive Verification (Dagstuhl Seminar 03451)}},
  pages =	{1--6},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{401},
  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.401},
  URN =		{urn:nbn:de:0030-drops-152813},
  doi =		{10.4230/DagSemRep.401},
}
Document
Specification of Distributed Information Systems (Dagstuhl Seminar 00081)

Authors: Hans-Dieter Ehrich, Ursula Goltz, José Meseguer, and Amir Pnueli

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


Abstract

Cite as

Hans-Dieter Ehrich, Ursula Goltz, José Meseguer, and Amir Pnueli. Specification of Distributed Information Systems (Dagstuhl Seminar 00081). Dagstuhl Seminar Report 266, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)


Copy BibTex To Clipboard

@TechReport{ehrich_et_al:DagSemRep.266,
  author =	{Ehrich, Hans-Dieter and Goltz, Ursula and Meseguer, Jos\'{e} and Pnueli, Amir},
  title =	{{Specification of Distributed Information Systems (Dagstuhl Seminar 00081)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{2001},
  type = 	{Dagstuhl Seminar Report},
  number =	{266},
  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.266},
  URN =		{urn:nbn:de:0030-drops-151515},
  doi =		{10.4230/DagSemRep.266},
}
Document
Synchronous Languages (Dagstuhl Seminar 9448)

Authors: Gérard Berry, Willem-Paul de Roever, Axel Poigné, and Amir Pnueli

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


Abstract

Cite as

Gérard Berry, Willem-Paul de Roever, Axel Poigné, and Amir Pnueli. Synchronous Languages (Dagstuhl Seminar 9448). Dagstuhl Seminar Report 104, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1995)


Copy BibTex To Clipboard

@TechReport{berry_et_al:DagSemRep.104,
  author =	{Berry, G\'{e}rard and de Roever, Willem-Paul and Poign\'{e}, Axel and Pnueli, Amir},
  title =	{{Synchronous Languages (Dagstuhl Seminar 9448)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{104},
  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.104},
  URN =		{urn:nbn:de:0030-drops-149924},
  doi =		{10.4230/DagSemRep.104},
}
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