Spezifikation eines RPC-Speichers mit der Sprache ProFun

Thomas Firley, Thomas Gehrke, Arend Rensink

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageGerman
    Title of host publicationFormale Beschreibungstechniken für verteilte Systeme
    Subtitle of host publication8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998
    EditorsHartmut König, Peter Langendörfer
    Place of PublicationAachen, Germany
    PublisherShaker Verlag
    Pages136-147
    Number of pages12
    ISBN (Print)3-8265-3807-2
    Publication statusPublished - 1998
    EventFormale Beschreibungstechniken für verteilte Systeme, FBT 1998: 8. GI/ITG-Fachgespräch - Cottbus, Germany
    Duration: 4 Jun 19985 Jun 1998
    Conference number: 8

    Workshop

    WorkshopFormale Beschreibungstechniken für verteilte Systeme, FBT 1998
    Abbreviated titleFBT
    CountryGermany
    CityCottbus
    Period4/06/985/06/98

    Cite this