Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains

George Carlin, Pepijn Crouzen, Pedro D'Agenio, Ernst Moritz Hahn, Lijun Zhang

    Research output: Contribution to journalConference articleResearchpeer-review

    Original languageEnglish
    Book seriesLecture Notes in Computer Science
    ISSN0302-9743
    Publication statusPublished - 2010
    Event17th International SPIN Workshop - Enschede, Netherlands
    Duration: 27 Sep 201029 Sep 2010

    Workshop

    Workshop17th International SPIN Workshop
    CountryNetherlands
    CityEnschede
    Period27/09/201029/09/2010

    Cite this