Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc110401, author = {Maurice~H.~ter~Beek and Gabriele~Lenzini and Marinella~Petrocchi}, title = {A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols}, journal = jalc, year = 2006, volume = 11, number = 4, pages = {345--374} }