- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Beyersdorff, Olaf; Meier, Arne; Mundhenk, M.; Schneider, T.; Thomas, Michael et al.: Model checking CTL is almost always inherently sequential. In: Logical Methods in Computer Science 7 (2011), Nr. 2, 12. DOI: http://dx.doi.org/10.2168/LMCS-7(2:12)2011
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover
- (when)
-
2011
- Event
-
Veröffentlichung
- (where)
-
Hannover
- (who)
-
Technische Informationsbibliothek (TIB)
- (when)
-
2011
- Creator
- DOI
-
10.15488/621
- URN
-
urn:nbn:de:101:1-2020072008354263437876
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Beyersdorff, Olaf
- Meier, Arne
- Mundhenk, Martin
- Schneider, Thomas
- Thomas, Michael
- Vollmer, Heribert
- Gottfried Wilhelm Leibniz Universität Hannover
- Technische Informationsbibliothek (TIB)
Time of origin
- 2011
Other Objects (12)
Zur Therapie der Orbitabodenfrakturen
Die Weiterverarbeitung von Röntgenbildern mittels digitaler Bildverarbeitung
Aufbau, Eigenschaften und immunologische Verwandtschaft der DNA-abhängigen RNA-Polymerasen methanogener Bakterien
Die Langzeitblasendruckmessung über Nacht im Vergleich zur Standardzystometrie
"High Frequency Jet Ventilation": Auswirkungen auf die Hämodynamik und relevante Monitorparameter : e. experimentelle Unters. am Hund
Synthese eines Bacteriophäophorbid-c-methylesters
Streubreite der manifesten und subklinischen Sensibilisierungen gegen Chrom, Nickel, Blei, Formalin und Alkali bei einem gemischten Krankengut
Modellanalytische Untersuchung der Befunde von kieferorthopädisch behandelten Patienten mit Nichtanlage oberer seitlicher Schneidezähne im Hinblick auf die Therapie des Lückenschlusses bzw. der Lückenöffnung unter parodontologischem Aspekt
Induktion inflammatorischer Lipid-Mediatoren durch Hämolysin bildende Escherichia coli an einem Modell des septischen Lungenversagens
Grading des Mammakarzinoms : ein Versuch der Befundobjektivierung mittels der Planomorphometrie
Laser-UV-Mikrobestrahlung des Zellkerns und Chromosomenfragmentierung in Chinesischen Hamsterzellen, ein Beitrag zur Frage der Chromosomenanordnung in der Interphase
Schneider, Thomas
Zur Therapie der Orbitabodenfrakturen
Die Weiterverarbeitung von Röntgenbildern mittels digitaler Bildverarbeitung
Aufbau, Eigenschaften und immunologische Verwandtschaft der DNA-abhängigen RNA-Polymerasen methanogener Bakterien
Die Langzeitblasendruckmessung über Nacht im Vergleich zur Standardzystometrie
"High Frequency Jet Ventilation": Auswirkungen auf die Hämodynamik und relevante Monitorparameter : e. experimentelle Unters. am Hund
Synthese eines Bacteriophäophorbid-c-methylesters
Streubreite der manifesten und subklinischen Sensibilisierungen gegen Chrom, Nickel, Blei, Formalin und Alkali bei einem gemischten Krankengut
Modellanalytische Untersuchung der Befunde von kieferorthopädisch behandelten Patienten mit Nichtanlage oberer seitlicher Schneidezähne im Hinblick auf die Therapie des Lückenschlusses bzw. der Lückenöffnung unter parodontologischem Aspekt
Induktion inflammatorischer Lipid-Mediatoren durch Hämolysin bildende Escherichia coli an einem Modell des septischen Lungenversagens
Grading des Mammakarzinoms : ein Versuch der Befundobjektivierung mittels der Planomorphometrie
Laser-UV-Mikrobestrahlung des Zellkerns und Chromosomenfragmentierung in Chinesischen Hamsterzellen, ein Beitrag zur Frage der Chromosomenanordnung in der Interphase
Schneider, Thomas
Zur Therapie der Orbitabodenfrakturen
Die Weiterverarbeitung von Röntgenbildern mittels digitaler Bildverarbeitung
Aufbau, Eigenschaften und immunologische Verwandtschaft der DNA-abhängigen RNA-Polymerasen methanogener Bakterien
Die Langzeitblasendruckmessung über Nacht im Vergleich zur Standardzystometrie
"High Frequency Jet Ventilation": Auswirkungen auf die Hämodynamik und relevante Monitorparameter : e. experimentelle Unters. am Hund
Synthese eines Bacteriophäophorbid-c-methylesters
Streubreite der manifesten und subklinischen Sensibilisierungen gegen Chrom, Nickel, Blei, Formalin und Alkali bei einem gemischten Krankengut
Modellanalytische Untersuchung der Befunde von kieferorthopädisch behandelten Patienten mit Nichtanlage oberer seitlicher Schneidezähne im Hinblick auf die Therapie des Lückenschlusses bzw. der Lückenöffnung unter parodontologischem Aspekt
Induktion inflammatorischer Lipid-Mediatoren durch Hämolysin bildende Escherichia coli an einem Modell des septischen Lungenversagens
Grading des Mammakarzinoms : ein Versuch der Befundobjektivierung mittels der Planomorphometrie
Laser-UV-Mikrobestrahlung des Zellkerns und Chromosomenfragmentierung in Chinesischen Hamsterzellen, ein Beitrag zur Frage der Chromosomenanordnung in der Interphase