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

Research output: Contribution to journal › Conference article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
ISSN	0302-9743
Publication status	Published - 2010
Event	17th International SPIN Workshop - Enschede, Netherlands Duration: 27 Sept 2010 → 29 Sept 2010 Conference number: 17

Workshop	17th International SPIN Workshop
Number	17
Country/Territory	Netherlands
City	Enschede
Period	27/09/2010 → 29/09/2010

OpenUrl availability

@inproceedings{1e47acb4be2c45a896bce23c8aabbfd3,

title = "Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains",

author = "George Carlin and Pepijn Crouzen and Pedro D'Agenio and Hahn, \{Ernst Moritz\} and Lijun Zhang",

year = "2010",

language = "English",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "17th International SPIN Workshop, SPIN ; Conference date: 27-09-2010 Through 29-09-2010",

}

TY - GEN

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

AU - Carlin, George

AU - Crouzen, Pepijn

AU - D'Agenio, Pedro

AU - Hahn, Ernst Moritz

AU - Zhang, Lijun

N1 - Conference code: 17

PY - 2010

Y1 - 2010

M3 - Conference article

SN - 0302-9743

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 17th International SPIN Workshop

Y2 - 27 September 2010 through 29 September 2010

ER -