Eintrag weiter verarbeiten
Algorithmische Eigenschaften von Branching-Time Logiken
Personen und Körperschaften: | , , , |
---|---|
Titel: | Algorithmische Eigenschaften von Branching-Time Logiken |
Hochschulschrift: | Dissertation, Technische Universität Dresden, 2005 |
Format: | E-Book Hochschulschrift |
veröffentlicht: |
Dresden
Technische Universität Dresden
Online-Ausg.. 2007 |
Schlagwörter: |