skip to content
Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese Preview this item
ClosePreview this item

Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese

Author: Haiseung Yoo
Dissertation: Dortmund, Techn. Univ., Diss., 2007.
Edition/Format:   Computer file : Thesis/dissertation : German

(not yet rated) 0 with reviews - Be the first.

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


Material Type: Thesis/dissertation, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Haiseung Yoo
OCLC Number: 463856044
Description: Online-Ressource
Responsibility: von Haiseung Yoo.


User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...


Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data

Primary Entity

<> # Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese
    a bgn:Thesis, schema:CreativeWork, bgn:ComputerFile ;
    bgn:inSupportOf "Dortmund, Techn. Univ., Diss., 2007." ;
    library:oclcnum "463856044" ;
    library:placeOfPublication <> ;
    schema:about <> ;
    schema:about <> ;
    schema:author <> ; # Haiseung Yoo
    schema:datePublished "2007" ;
    schema:exampleOfWork <> ;
    schema:inLanguage "de" ;
    schema:name "Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese"@de ;
    schema:productID "463856044" ;
    schema:url <> ;
    schema:url <> ;
    schema:url <> ;
    umbel:isLike <> ;
    wdrs:describedby <> ;

Related Entities

<> # Haiseung Yoo
    a schema:Person ;
    schema:familyName "Yoo" ;
    schema:givenName "Haiseung" ;
    schema:name "Haiseung Yoo" ;

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.