@inproceedings{faber-jacobs-sofronie-ifm-2007,
TITLE = {Verifying {CSP}-{OZ}-{DC} specifications with complex data types and timing parameters},
AUTHOR = {Faber, Johannes and Jacobs, Swen and Sofronie-Stokkermans, Viorica},
LANGUAGE = {eng},
ISBN = {978-3-540-73209-9},
DOI = {10.1007/978-3-540-73210-5_13},
LOCALID = {Local-ID: C12573CC004A8E26-6693EE02F5014073C12572A50049A4CC-faber-jacobs-sofronie-ifm-2007},
PUBLISHER = {Springer},
YEAR = {2007},
DATE = {2007},
BOOKTITLE = {Integrated Formal Methods : 6th International Conference, IFM 2007},
EDITOR = {Davies, Jim and Gibbons, Jeremy},
PAGES = {233--252},
SERIES = {Lecture Notes in Computer Science},
}