• Login
    View Item 
    •   NLR Reports Home
    • NLR
    • Reports
    • View Item
    •   NLR Reports Home
    • NLR
    • Reports
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Compositional Specification of a Multi-Agent System by Stochastically and Dynamically Coloured Petri Nets

    Everdij, M.H.C.; Klompstra, M.B.; Blom, H.A.P.; Klein Obbink, B.
    National Aerospace Laboratory NLR
    NLR-TP-2006-688
    2006

    Thumbnail
    View/Open
    TP-2006-688.pdf (3.392Mb)
    Metadata
    Show full item record
    URI
    http://hdl.handle.net/10921/377
    Collections
    • Reports

    Contact Us | Request Report
     

     

     Return to NLR corporate site

    Browse

    All of NLR ReportsCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    Contact Us | Request Report