Modeling Role-Based Systems with Exogenous Coordination

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

5 Citations (Scopus)

Original language	English
Title of host publication	Theory and Practice of Formal Methods
Pages	122-139
Number of pages	18
DOIs	https://doi.org/10.1007/978-3-319-30734-3_10
Publication status	Published - 2016

Access to Document

@inproceedings{2d4415b238f54b5b8acc37d93ad965ee,

title = "Modeling Role-Based Systems with Exogenous Coordination",

author = "Philipp Chrszon and Clemens Dubslaff and Christel Baier and Joachim Klein and Sascha Kl{\"u}ppelholz",

year = "2016",

doi = "10.1007/978-3-319-30734-3\_10",

language = "English",

pages = "122--139",

booktitle = "Theory and Practice of Formal Methods",

}