default search action

combined dblp search
author search
venue search
publication search

ask others

Reiner Lichtenecker

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[b1]
- no documents available
  - details & citations
- export record
  dblp key:
  - books/daglib/0097676
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0097676
Wolfgang A. Halang, Alceu Heinke Frigeri, Reiner Lichtenecker, Uwe Steinmann, Karin Wendland:
Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung. Schriftenreihe der Bundesanstalt für Arbeitsschutz : Forschung 813, Bundesanstalt für Arbeitsschutz 1998, ISBN 978-3-89701-213-4, pp. I-XIII, 1-213
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jsi/KramerVLK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsi/KramerVLK98
Bernd J. Krämer, Norbert Völker, Reiner Lichtenecker, Hans-Friedrich Kötter:
Deriving CORBA Applications from Formal Specifications. J. Syst. Integr. 8(2): 143-158 (1998)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/LichteneckerGZ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/LichteneckerGZ98
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski:
Automated Verification of Communication Protocols Using CCS and BDDs. IPPS/SPDP Workshops 1998: 1057-1066
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/WannemacherLH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/WannemacherLH98
Markus Wannemacher, Reiner Lichtenecker, Wolfgang A. Halang:
Entwurfsmethode für einen universellen Koprozessor für zeitkritische Aufgaben in sicherheitsgerichteten Echtzeitsystemen. MBMV 1998: 104-113
1997
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/rts/Lichtenecker97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rts/Lichtenecker97
Reiner Lichtenecker:
Terrestrial Time Signal Dissemination. Real Time Syst. 12(1): 41-61 (1997)
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fbt/GotthardtL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fbt/GotthardtL97
Klaus Gotthardt, Reiner Lichtenecker:
Verification of Distributed Applications by translating CCS to Binary Decision Diagrams. FBT 1997: 39-48
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/LichteneckerG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/LichteneckerG97
Reiner Lichtenecker, Klaus Gotthardt:
Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams. SAFECOMP 1997: 241-252

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.