Hochschulschrift
Transition-based directed model checking : = Transitionsbasierte gerichtete Modellprüfung
- Weitere Titel
-
Transitionsbasierte gerichtete Modellprüfung
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Albert-Ludwigs-Universität Freiburg, Dissertation, 2011
- Klassifikation
-
Informatik
- Schlagwort
-
Model Checking
Online-Ressource
- Ereignis
-
Veröffentlichung
- (wo)
-
Freiburg
- (wer)
-
Universität
- (wann)
-
2011
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bsz:25-opus-85455
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Wehrle, Martin
- Podelski, Andreas
- Universität
Entstanden
- 2011
Ähnliche Objekte (12)
Eine prospektive klinische Studie zur Wirkung der extrakorporalen Stosswellentherapie bei Tendinosis calcarea der Schulter
König Arsch : mein Leben als Kunde - der ganz normale Wahnsinn
Ich arbeite in einem Irrenhaus : vom ganz normalen Büroalltag
A 100 legjobb coaching gyakorlat : coachok gyakorlati kézikönyve
Die 50 kreativsten Coaching-Ideen : das große Workbook für Einsteiger und Profis zur Entwicklung der eigenen Coaching-Fähigkeiten
Bin ich hier der Depp? : wie Sie dem Arbeitswahn nicht länger zur Verfügung stehen
Die Coaching-Schatzkiste : 150 kostbare Impulse für Entdecker - darunter 50 Methoden, 30 Checklisten, 20 Storys und über 850 Coaching-Fragen
Geheime Tricks für mehr Gehalt : ein Chef verrät, wie Sie Chefs überzeugen!
Anständig Karriere machen : wie Sie nach oben kommen - und trotzdem Sie selbst bleiben
Erfolgreich angeln jeden Tag : [365 unschlagbare Fangrezepte]
Noch so ein Arbeitstag, und ich dreh durch : was Mitarbeiter in den Wahnsinn treibt
Am liebsten hasse ich Kollegen : wie man den Büroalltag überlebt
Eine prospektive klinische Studie zur Wirkung der extrakorporalen Stosswellentherapie bei Tendinosis calcarea der Schulter
König Arsch : mein Leben als Kunde - der ganz normale Wahnsinn
Ich arbeite in einem Irrenhaus : vom ganz normalen Büroalltag
A 100 legjobb coaching gyakorlat : coachok gyakorlati kézikönyve
Die 50 kreativsten Coaching-Ideen : das große Workbook für Einsteiger und Profis zur Entwicklung der eigenen Coaching-Fähigkeiten
Bin ich hier der Depp? : wie Sie dem Arbeitswahn nicht länger zur Verfügung stehen
Die Coaching-Schatzkiste : 150 kostbare Impulse für Entdecker - darunter 50 Methoden, 30 Checklisten, 20 Storys und über 850 Coaching-Fragen
Geheime Tricks für mehr Gehalt : ein Chef verrät, wie Sie Chefs überzeugen!
Anständig Karriere machen : wie Sie nach oben kommen - und trotzdem Sie selbst bleiben
Erfolgreich angeln jeden Tag : [365 unschlagbare Fangrezepte]
Noch so ein Arbeitstag, und ich dreh durch : was Mitarbeiter in den Wahnsinn treibt
Am liebsten hasse ich Kollegen : wie man den Büroalltag überlebt
Eine prospektive klinische Studie zur Wirkung der extrakorporalen Stosswellentherapie bei Tendinosis calcarea der Schulter
König Arsch : mein Leben als Kunde - der ganz normale Wahnsinn
Ich arbeite in einem Irrenhaus : vom ganz normalen Büroalltag
A 100 legjobb coaching gyakorlat : coachok gyakorlati kézikönyve
Die 50 kreativsten Coaching-Ideen : das große Workbook für Einsteiger und Profis zur Entwicklung der eigenen Coaching-Fähigkeiten
Bin ich hier der Depp? : wie Sie dem Arbeitswahn nicht länger zur Verfügung stehen
Die Coaching-Schatzkiste : 150 kostbare Impulse für Entdecker - darunter 50 Methoden, 30 Checklisten, 20 Storys und über 850 Coaching-Fragen
Geheime Tricks für mehr Gehalt : ein Chef verrät, wie Sie Chefs überzeugen!
Anständig Karriere machen : wie Sie nach oben kommen - und trotzdem Sie selbst bleiben
Erfolgreich angeln jeden Tag : [365 unschlagbare Fangrezepte]
Noch so ein Arbeitstag, und ich dreh durch : was Mitarbeiter in den Wahnsinn treibt