Suche in der Hochschulbibliografie

Treffer 31-31 von 31

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 4 von 4

Alle Titel auf dieser Seite auswählen

Ausgewählte Titel exportierenAlle Titel exportieren: [ Export-Format auswählen ]EndNote WebEndNoteRISBibTeXMS ExcelCOinSOK

• 31
  49GBVUOB_ALMA2123708287000350149GBVUOB_ALMA21237082870003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237082870003501
  Artikel
  Graphical specification and reasoning : case study generalized railroad crossing

  von Henning Dierks ; Cheryl Kleuker

  1997

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Kleuker, Cheryl ([-2000])Dierks, Henning

  Enthalten in: Industrial applications and strengthened foundations of formal methods Berlin [u.a.], 1997 S. 20 - 39

  Sprache: Englisch