Suche in der Hochschulbibliografie

Suche nach: Person = 'Grahlmann, Bernd'

Treffer 1-7 von 7

Sortieren nach:

Alle Titel auf dieser Seite auswählen

Alle Titel exportieren:

Alle Details anzeigen

1
49GBVUOB_ALMA2123710045000350149GBVUOB_ALMA21237100450003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237100450003501
Artikel
The state of PEP
von Bernd Grahlmann
1999
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Grahlmann, Bernd ([1998-1999])
Enthalten in: Algebraic methodology and software technology Berlin [u.a.], 1999 [4] S.
Sprache: Englisch
>> Volltext
2
49GBVUOB_ALMA2123700640000350149GBVUOB_ALMA21237006400003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237006400003501
Artikel
Combining finite automata, parallel programs and SDL using Petri nets
von Bernd Grahlmann
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Grahlmann, Bernd ([1998-1999])
Enthalten in: Tools and algorithms for the construction and analysis of systems Berlin [u.a.], 1998 S. 102 - 117
Sprache: Englisch
3
49GBVUOB_ALMA2116502099000350149GBVUOB_ALMA21165020990003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21165020990003501
Buch
Profiting from spin in PEP
von Bernd Grahlmann ; Carola Pohl
1998
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Grahlmann, Bernd ([1998-1999])
Umfang: [19] S graph. Darst.
Weitere Angaben:
Parallelausg. in digitaler Form verfügbar: http://www.informatik.uni-hildesheim.de/=bernd/paperbg.html#grahlmannpohl
Sprache: Englisch
4
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
5
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
6
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
7
49GBVUOB_ALMA2123703882000350149GBVUOB_ALMA21237038820003501//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21237038820003501
Artikel
Das PEP tool
von Bernd Grahlmann ; Eike Best ; Burkhard Bieber
1997
Details anzeigen
Beteiligte Personen (Uni Oldenburg): Best, EikeBieber, Burkhard ([1997-1999])Grahlmann, Bernd ([1998-1999])
Enthalten in: Entwurf komplexer Automatisierungssysteme Braunschweig, 1997 S. 729
Sprache: Englisch
>> Volltext