Suche in der Hochschulbibliografie

Treffer 11-20 von 21

Sortieren nach: JahrTitelVerfasser/in

• 
• 
Seite 2 von 3
• 
• 

Alle Titel auf dieser Seite auswählen

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

• 11
  49GBVUOB_ALMA2123638369000350149GBVUOB_ALMA21236383690003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236383690003501
  Artikel
  Computing a finite prefix of a time Petri net

  von Hans Fleischhack ; Christian Stehno

  2002

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Stehno, Christian ([-2010])Fleischhack, Hans

  Enthalten in: Application and theory of Petri nets 2002 Berlin [u.a.], 2002 S. 163 - 181

  Sprache: Englisch

  >> Volltext
• 12
  49GBVUOB_ALMA2123642918000350149GBVUOB_ALMA21236429180003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236429180003501
  Artikel
  Causal boxes and hierarchical timed boxes

  von Hans Fleischhack ; Elisabeth Pelz

  2001

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fleischhack, Hans

  Enthalten in: Technical report / University of Paris XII Val-de-Marne Paris, 2001 24 Bl. <24>

  Sprache: Englisch

  >> Volltext
• 13
  49GBVUOB_ALMA2123642974000350149GBVUOB_ALMA21236429740003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236429740003501
  Artikel
  Partial order based model checking with data types : [abstract]

  von Hans Fleischhack ; Elisabeth Pelz

  2000

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fleischhack, Hans

  Enthalten in: Proceedings of Logic Colloquium 2000 1 S. <1>

  Sprache: Englisch

  >> Volltext
• 14
  49GBVUOB_ALMA2123643079000350149GBVUOB_ALMA21236430790003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236430790003501
  Artikel
  Simulation of DNA-computing

  von Eike Best ; Heiko Burchard ; Hans Fleischhack ; André Hackmann ; Stefan Kühnapfel ; Ernst Kretschmann ; Astrid Rakow

  2000

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fleischhack, HansRakow, AstridBest, Eike

  Enthalten in: DNA computing Berlin, 2000 S. 249

  Sprache: Englisch

  >> Volltext
• 15
  49GBVUOB_ALMA2123690734000350149GBVUOB_ALMA21236907340003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236907340003501
  Artikel
  Model checking of time Petri nets based on partial order semantics

  von Burkhard Bieber ; Hans Fleischhack

  1999

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fleischhack, HansBieber, Burkhard ([1997-1999])

  Enthalten in: Proceedings of ConCur '99 1999 [16 S.]

  Sprache: Englisch

  >> Volltext
• 16
  49GBVUOB_ALMA2123699336000350149GBVUOB_ALMA21236993360003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236993360003501
  Artikel
  Towards compositional verification of SDL systems

  von Hans Fleischhack ; Bernd Grahlmann

  1998

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Grahlmann, Bernd ([1998-1999])Fleischhack, Hans

  Enthalten in: Proceedings of 31st HICSS, Hawaii International Conference on System Science, Software Technology Track, IEEE Computer Society 1998 S. 404 - 414

  Sprache: Englisch
• 17
  49GBVUOB_ALMA2123699414000350149GBVUOB_ALMA21236994140003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236994140003501
  Artikel
  A compositional Petri net semantics for SDL

  von Hans Fleischhack ; Bernd Grahlmann

  1998

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Grahlmann, Bernd ([1998-1999])Fleischhack, Hans

  Enthalten in: Application and theory of Petri nets 1998 Berlin [u.a.], 1998 S. 144 - 164

  Sprache: Englisch

  >> Volltext
• 18
  49GBVUOB_ALMA2123685448000350149GBVUOB_ALMA21236854480003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236854480003501
  Artikel
  A Petri net semantics for B(PN) 2 with procedures

  von Hans Fleischhack ; Bernd Grahlmann

  1997

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Grahlmann, Bernd ([1998-1999])Fleischhack, Hans

  Enthalten in: Proceedings / Second International Workshop on Software Engineering for Parallel and Distributed Systems, Boston Los Alamitos, Calif. [u.a.], 1997 S. 15 - 27

  Sprache: Englisch

  >> Volltext
• 19
  49GBVUOB_ALMA2123696276000350149GBVUOB_ALMA21236962760003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236962760003501
  Artikel
  A class of composable high-level petri nets

  von Eike Best ; Hans Fleischhack ; Wojciech Frączak ; Richard P. Hopkins ; Hanna Klaudel ; Elisabeth Pelz

  1995

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fleischhack, HansBest, Eike

  Enthalten in: Application and theory of Petri nets 1995 Berlin [u.a.], 1995 S. 291 - 300

  Sprache: Englisch
• 20
  49GBVUOB_ALMA2116338055000350149GBVUOB_ALMA21163380550003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21163380550003501
  Buch
  Berichte aus dem Fachbereich Informatik der Universität Oldenburg: Diagonalizing over deterministic polynomial time

  von Klaus Ambos-Spies ; Hans Fleischhack ; Hagen Huwig

  1988

  Details anzeigen

  Beteiligte Personen (Uni Oldenburg): Fleischhack, HansAmbos-Spies, Klaus ([-1988])

  Verlag: Oldenburg: Univ., Fachbereich Informatik

  Umfang: 29 S 21 cm.

  Übergeordnetes Werk: Berichte aus dem Fachbereich Informatik der Universität Oldenburg

  Verknüpfte Titel: Berichte aus dem Fachbereich Informatik der Universität Oldenburg ; 1988,1

  Sprache: und