Partial order reduction for branching security protocols

W.J. Fokkink, M. Torabi Dashti, A. Wijs

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10
Publisher	IEEE Computer Society Press
Pages	191-200
Publication status	Published - 2010

Persistent URL (handle)

@inproceedings{81165622e422489185e360f51b239784,

title = "Partial order reduction for branching security protocols",

author = "W.J. Fokkink and {Torabi Dashti}, M. and A. Wijs",

year = "2010",

language = "English",

pages = "191--200",

booktitle = "Proc. 10th Conference on Application of Concurrency to System Design - ACSD'10",

publisher = "IEEE Computer Society Press",

}