Spezifikation eines RPC-Speichers mit der Sprache ProFun

Thomas Firley; Thomas Gehrke; Arend Rensink

Spezifikation eines RPC-Speichers mit der Sprache ProFun

Thomas Firley
, Thomas Gehrke
, Arend Rensink

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	German
Title of host publication	Formale Beschreibungstechniken für verteilte Systeme
Subtitle of host publication	8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998
Editors	Hartmut König, Peter Langendörfer
Place of Publication	Aachen, Germany
Publisher	Shaker Publishing
Pages	136-147
Number of pages	12
ISBN (Print)	3-8265-3807-2
Publication status	Published - 1998
Event	Formale Beschreibungstechniken für verteilte Systeme, FBT 1998: 8. GI/ITG-Fachgespräch - Cottbus, Germany Duration: 4 Jun 1998 → 5 Jun 1998 Conference number: 8

Workshop

Workshop	Formale Beschreibungstechniken für verteilte Systeme, FBT 1998
Abbreviated title	FBT
Country/Territory	Germany
City	Cottbus
Period	4/06/98 → 5/06/98

Cite this

@inproceedings{ba860fe72ce9440881e85d131120eda8,

title = "Spezifikation eines RPC-Speichers mit der Sprache ProFun",

author = "Thomas Firley and Thomas Gehrke and Arend Rensink",

year = "1998",

language = "German",

isbn = "3-8265-3807-2",

pages = "136--147",

editor = "Hartmut K{\"o}nig and Peter Langend{\"o}rfer",

booktitle = "Formale Beschreibungstechniken f{\"u}r verteilte Systeme",

publisher = "Shaker Publishing",

note = "Formale Beschreibungstechniken f{\"u}r verteilte Systeme, FBT 1998 ; Conference date: 04-06-1998 Through 05-06-1998",

}

Firley, T, Gehrke, T & Rensink, A 1998, Spezifikation eines RPC-Speichers mit der Sprache ProFun. in H König & P Langendörfer (eds), Formale Beschreibungstechniken für verteilte Systeme: 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. Shaker Publishing, Aachen, Germany, pp. 136-147, Formale Beschreibungstechniken für verteilte Systeme, FBT 1998, Cottbus, Brandenburg, Germany, 4/06/98.

Spezifikation eines RPC-Speichers mit der Sprache ProFun. / Firley, Thomas; Gehrke, Thomas; Rensink, Arend.
Formale Beschreibungstechniken für verteilte Systeme: 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. ed. / Hartmut König; Peter Langendörfer. Aachen, Germany: Shaker Publishing, 1998. p. 136-147.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Spezifikation eines RPC-Speichers mit der Sprache ProFun

AU - Firley, Thomas

AU - Gehrke, Thomas

AU - Rensink, Arend

N1 - Conference code: 8

PY - 1998

Y1 - 1998

M3 - Conference contribution

SN - 3-8265-3807-2

SP - 136

EP - 147

BT - Formale Beschreibungstechniken für verteilte Systeme

A2 - König, Hartmut

A2 - Langendörfer, Peter

PB - Shaker Publishing

CY - Aachen, Germany

T2 - Formale Beschreibungstechniken für verteilte Systeme, FBT 1998

Y2 - 4 June 1998 through 5 June 1998

ER -