Tobe Toben
Non-interference Properties for Data-Type Reduction of Communicating Systems
IFM, 2007.
@inproceedings{IFM-2007-Toben, author = "Tobe Toben", booktitle = "{Proceedings of the Sixth International Conference on Integrated Formal Methods}", doi = "10.1007/978-3-540-73210-5_32", isbn = "978-3-540-73209-9", pages = "619--638", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Non-interference Properties for Data-Type Reduction of Communicating Systems}", volume = 4591, year = 2007, }