Bruno Conchinha, David A. Basin, Carlos Caleiro. Efficient Decision Procedures for Message Deducibility and Static Equivalence. In Pierpaolo Degano, Sandro Etalle, Joshua D. Guttman, editors, Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers. Volume 6561 of Lecture Notes in Computer Science, pages 34-49, Springer, 2010. [doi]
@inproceedings{ConchinhaBC10,
title = {Efficient Decision Procedures for Message Deducibility and Static Equivalence},
author = {Bruno Conchinha and David A. Basin and Carlos Caleiro},
year = {2010},
doi = {10.1007/978-3-642-19751-2_3},
url = {http://dx.doi.org/10.1007/978-3-642-19751-2_3},
researchr = {https://researchr.org/publication/ConchinhaBC10},
cites = {0},
citedby = {0},
pages = {34-49},
booktitle = {Formal Aspects of Security and Trust - 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers},
editor = {Pierpaolo Degano and Sandro Etalle and Joshua D. Guttman},
volume = {6561},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-19750-5},
}