On generation of time-based label refinements

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

87 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, 28-30 September 2016, Rostock, Germany
Pages	1-12
Publication status	Published - 2016

Access to Document

@inproceedings{6e04989677624aa0be699cd8fd5266be,

title = "On generation of time-based label refinements",

author = "N. Tax and E.E. Alasgarov and N. Sidorova and R. Haakma",

year = "2016",

language = "English",

pages = "1--12",

booktitle = "Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, 28-30 September 2016, Rostock, Germany",

}