Suche in der Hochschulbibliografie
Fakultät / Sonst. Einrichtungen
Keine Eingrenzung
Fakultät I - Bildungs- und Sozialwissenschaften
Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften
Fakultät III - Sprach- und Kulturwissenschaften
Fakultät IV - Human- und Gesellschaftswissenschaften
Fakultät V - Mathematik und Naturwissenschaften
Fakultät VI - Medizin und Gesundheitswissenschaften
Sonstige Einrichtungen
Institut / Einrichtungen
Keine Eingrenzung
Fach / AG / Einrichtung
Keine Eingrenzung
Jahr
Titel
Person
Suchen
Suche nach:
Person = '
Pang, Jun
'
Treffer 1-6 von 6
Sortieren nach:
Jahr
Titel
Verfasser/in
Seite 1 von 1
Alle Titel auf dieser Seite auswählen
Ausgewählte Titel exportieren
Alle Titel exportieren
:
[ Export-Format auswählen ]
EndNote Web
EndNote
RIS
BibTeX
MS Excel
COinS
OK
Alle Details anzeigen
Ergebnisse eingrenzen
nach Person:
Blom, Stefan (1)
Calame, Jens (1)
Damm, Werner (3)
Dashti, Mohammed Torabi (1)
Disch, Stefan (2)
Fokkink, Wan (2)
Hofman, Rutger (1)
Hungar, Hardi (2)
Jacobs, Swen (1)
Lisser, Bert (1)
Mikschl, Alfred (1)
Oehlerking, Jens (1)
Olderog, Ernst-Rüdiger (1)
Orzan, Simona (1)
Pang, Jun (6)
Pigorsch, Florian (2)
Platzer, André (1)
Pol, Jaco van de (1)
Scholl, Christoph (2)
Segelken, Marc (1)
Veldema, Ronald (1)
Waldmann, Uwe (2)
Wijs, Anton (1)
Wirtz, Boris (3)
1
49GBVUOB_ALMA21236904710003501
49GBVUOB_ALMA21236904710003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236904710003501
Artikel
Model checking a cache coherence protocol of a Java DSM implementation
von
Jun Pang ; Wan Fokkink ; Rutger Hofman ; Ronald Veldema
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Pang, Jun
Enthalten in:
The Journal of logic and algebraic programming 71 (2007), S. 1 - 43
Sprache:
Englisch
>> Volltext
2
49GBVUOB_ALMA21236894410003501
49GBVUOB_ALMA21236894410003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236894410003501
Artikel
Distributed analysis with uCRL : a compendium of case studies
von
Stefan Blom ; Jens Calame ; Bert Lisser ; Simona Orzan ; Jun Pang ; Jaco van de Pol ; Mohammed Torabi Dashti ; Anton Wijs
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Pang, Jun
Enthalten in:
Tools and algorithms for the construction and analysis of systems Berlin [u.a.], 2007
Sprache:
Englisch
3
49GBVUOB_ALMA21236731700003501
49GBVUOB_ALMA21236731700003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236731700003501
Artikel
Exact state set representations in the verification of linear hybrid systems with large discrete state space
von
Werner Damm ; Stefan Disch ; Hardi Hungar ; Swen Jacobs ; Jun Pang ; Florian Pigorsch ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hungar, Hardi ([1991-])
Pang, Jun
Wirtz, Boris
Damm, Werner
Enthalten in:
Automated technology for verification and analysis Berlin, 2007 S. 425 - 440
Sprache:
Englisch
>> Volltext
4
49GBVUOB_ALMA21236734430003501
49GBVUOB_ALMA21236734430003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236734430003501
Artikel
Automating verification of cooperation, control, and design in traffic applications
von
Werner Damm ; Alfred Mikschl ; Jens Oehlerking ; Ernst-Rüdiger Olderog ; Jun Pang ; André Platzer ; Marc Segelken ; Boris Wirtz
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Mikschl, Alfred
Oehlerking, Jens
Olderog, Ernst-Rüdiger
Pang, Jun
Platzer, André ([2004-2009])
Segelken, Marc ([1999-2008])
Wirtz, Boris
Damm, Werner
Enthalten in:
Formal methods and hybrid real-time systems Berlin [u.a.], 2007 S. 115 - 169
Sprache:
Englisch
5
49GBVUOB_ALMA21236927410003501
49GBVUOB_ALMA21236927410003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236927410003501
Artikel
Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM
von
Wan Fokkink ; Jun Pang
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Pang, Jun
Enthalten in:
Journal of universal computer science 12 (2006), 8, S. 981 - 1006
Sprache:
Englisch
>> Volltext
6
49GBVUOB_ALMA21236846280003501
49GBVUOB_ALMA21236846280003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236846280003501
Artikel
Automatic verification of hybrid systems with large discrete state space
von
Werner Damm ; Stefan Disch ; Hardi Hungar ; Jun Pang ; Florian Pigorsch ; Christoph Scholl ; Uwe Waldmann ; Boris Wirtz
2006
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Hungar, Hardi ([1991-])
Pang, Jun
Wirtz, Boris
Damm, Werner
Enthalten in:
Automated technology for verification and analysis Berlin [u.a.], 2006 S. 276 - 291
Sprache:
Englisch
>> Volltext
Seite 1 von 1
