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 = '
Pinto, Guilherme
'
Treffer 1-1 von 1
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:
Damm, Werner (1)
Pinto, Guilherme (1)
Ratschan, Stefan (1)
1
49GBVUOB_ALMA21236877190003501
49GBVUOB_ALMA21236877190003501
//diglib.bis.uni-oldenburg.de/webservice/sru/?recordSchema=dc&query=49GBVUOB_ALMA21236877190003501
Artikel
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
von
Werner Damm ; Guilherme Pinto ; Stefan Ratschan
2007
Details anzeigen
Beteiligte Personen (Uni Oldenburg):
Pinto, Guilherme ([2005-2007])
Damm, Werner
Enthalten in:
International journal of foundations of computer science 18 (2007), 1, S. 63 - 86
Sprache:
Englisch
>> Volltext
Seite 1 von 1