( en | de | ru )

 

Disambiguierung von "Prinoth, Rainer"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Computation-System Based Method for Automated Proving of Protocols Against Services.

, und . Protocol Specification, Testing, and Verification, Seite 213-228. North-Holland, (1983)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Rainer Prinoth

Monika Prinoth

Rainer Melzer

Multimerisierung und DNA-Bindung homöotischer Proteine der Blütenbildung. Uni Jena, (2009)

Rainer Nustede

In-vitro-Proliferationsverhalten pädiatrischer Tumorzelllinien nach zweistündiger Exposition mit Kohlenstoffdioxid, Helium und Raumluft. MedH Hannover, (2009)

Rainer Scheid

Schädel-Hirn-Trauma - Morphologie, Funktion, Rehabilitation: eine Datenanalyse aus 12 Jahren Behandlung Schädel-Hirn-traumatisierter Menschen in der Tagesklinik für kognitive Neurologie, Universitätsklinikum Leipzig. Uni Leipzig, habilitation, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

A Computation-System Based Method for Automated Proving of Protocols Against Services., und . Protocol Specification, Testing, and Verification, Seite 213-228. North-Holland, (1983)Construction of Distributed Systems from Cycle-Free Finite Automata.. European Workshop on Applications and Theory of Petri Nets, Volume 66 von Informatik-Fachberichte, Seite 199-220. Springer, (1982)Architekturen für ISDN-basierte Multimedia-Endgeräte und Programmschnittstellen.. Prax. Inf.verarb. Kommun., 16 (4): 203-208 (1993)10.1515/piko.1993.16.4.193.Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen., , und . Kommunikation in Verteilten Systemen (1), Volume 95 von Informatik-Fachberichte, Seite 610-645. Springer, (1985)Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications., , und . ICCC, Seite 531-536. International Council for Computer Communication / Elsevier, (1986)Eigenschaften färbbarer Petri-Netze.. Theoretical Computer Science, Volume 48 von Lecture Notes in Computer Science, Seite 306-318. Springer, (1977)An Algorithm to Construct Distributed Systems from State-Machines.. PSTV, Seite 261-282. North-Holland, (1982)Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets., , und . PSTV, Seite 165-192. North-Holland, (1984)Strukturierter Entwurf eines Protokolls zum Auf- und Abbau von Verbindungen und dessen Analyse.. Prax. Inf.verarb. Kommun., 17 (2): 73-79 (1994)10.1515/piko.1994.17.2.67.