• Login
    View Item 
    •   VU-DARE Home
    • 5. Theses / Addresses
    • Doctoral Theses - Sciences
    • View Item
    •   VU-DARE Home
    • 5. Theses / Addresses
    • Doctoral Theses - Sciences
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Abstractions and Static Analysis for Verifying Reactive Systems

    View/Open
    thesis.pdf (1.106Mb)
    Date
    2004
    Author
    Ioustinova, N.
    Metadata
    Show full item record
    URI
    http://hdl.handle.net/1871/9061
    Collections
    • Doctoral Theses - Sciences
    • Science

    DSpace software copyright © 2002-2013  Duraspace
    Contact Us | Send Feedback
    Theme by 
    @mire NV
     

     

    Browse

    All of VU-DARECommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    DSpace software copyright © 2002-2013  Duraspace
    Contact Us | Send Feedback
    Theme by 
    @mire NV